1		:- dynamic parserVersionNum/1, parserVersionStr/1, parseResult/5.
2		:- dynamic module/4.
3		'parserVersionStr'('0.6.2.1').
4		'parseResult'('ok','',0,0,0).
5		:- dynamic channel/2, bindval/3, agent/3.
6		:- dynamic agent_curry/3, symbol/4.
7		:- dynamic dataTypeDef/2, subTypeDef/2, nameType/2.
8		:- dynamic cspTransparent/1.
9		:- dynamic cspPrint/1.
10		:- dynamic pragma/1.
11		:- dynamic comment/2.
12		:- dynamic assertBool/1, assertRef/5, assertTauPrio/6.
13		:- dynamic assertModelCheckExt/4, assertModelCheck/3.
14		:- dynamic assertLtl/4, assertCtl/4.
15		'parserVersionNum'([0,11,1,1]).
16		'parserVersionStr'('CSPM-Frontent-0.11.1.1').
17		'channel'('Inc','type'('dotUnitType')).
18		'bindval'('MAIN','prefix'('src_span'(3,8,3,11,48,3),[],'Inc','prefix'('src_span'(3,15,3,18,55,3),[],'Inc','skip'('src_span'(3,22,3,26,62,4)),'src_span'(3,19,3,21,58,11)),'src_span'(3,12,3,14,51,18)),'src_span'(3,1,3,26,41,25)).
19		'comment'('lineComment'('-- AssertionViolationDynamic'),'src_position'(1,1,0,28)).
20		'symbol'('Inc','Inc','src_span'(2,9,2,12,37,3),'Channel').
21		'symbol'('MAIN','MAIN','src_span'(3,1,3,5,41,4),'Ident (Groundrep.)').