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		'dataTypeDef'('D1',['constructor'('b1'),'constructor'('c1')]).
18		'dataTypeDef'('D2',['constructorC'('cons1','dotTupleType'(['setExp'('rangeEnum'(['int'(1),'int'(2),'int'(3)]))])),'constructor'('c2'),'constructorC'('cons2','dotTupleType'(['D3']))]).
19		'dataTypeDef'('D3',['constructorC'('cons3','dotTupleType'(['setExp'('rangeEnum'(['int'(1),'int'(2),'int'(3)]))])),'constructor'('b3'),'constructor'('c3')]).
20		'nameType'('D','type'('dotTupleType'(['D1','D2']))).
21		'channel'('a','type'('dotTupleType'(['D','setExp'('rangeClosed'('int'(1),'int'(10))),'setExp'('rangeClosed'('int'(1),'int'(10)))]))).
22		'channel'('ch','type'('dotTupleType'(['D1','D2','D3']))).
23		'channel'('ch3','type'('dotTupleType'(['D2']))).
24		'bindval'('MAIN','prefix'('src_span'(17,8,17,12,225,4),['inGuard'(_x,'setExp'('rangeEnum'(['dotTuple'(['c2',_n,_m])]),['comprehensionGenerator'(_n,'setExp'('rangeClosed'('int'(1),'int'(3)))),'comprehensionGenerator'(_m,'setExp'('rangeClosed'('int'(4),'int'(6))))]))],'dotTuple'(['a','b1']),'prefix'('src_span'(17,54,17,60,271,6),[],'dotTuple'(['a','c1',_x]),'prefix'('src_span'(18,2,18,4,283,2),['in'(_x2),'out'('c2'),'in'('dotpat'(['cons3',_y]))],'ch','prefix'('src_span'(18,23,18,34,304,11),[],'dotTuple'(['ch3','cons1',_y]),'val_of'('MAIN','src_span'(18,39,18,43,320,4)),'src_span'(18,35,18,38,315,20)),'src_span'(18,20,18,22,300,34)),'src_span'(17,61,18,1,277,53)),'src_span'(17,51,17,53,267,95)),'src_span'(17,1,18,43,218,106)).
25		'comment'('lineComment'('-- ComplexDataTypes'),'src_position'(1,1,0,19)).
26		'symbol'('D1','D1','src_span'(3,10,3,12,30,2),'Datatype').
27		'symbol'('b1','b1','src_span'(3,15,3,17,35,2),'Constructor of Datatype').
28		'symbol'('c1','c1','src_span'(3,20,3,22,40,2),'Constructor of Datatype').
29		'symbol'('D2','D2','src_span'(5,10,5,12,53,2),'Datatype').
30		'symbol'('cons1','cons1','src_span'(5,15,5,20,58,5),'Constructor of Datatype').
31		'symbol'('c2','c2','src_span'(5,31,5,33,74,2),'Constructor of Datatype').
32		'symbol'('cons2','cons2','src_span'(5,36,5,41,79,5),'Constructor of Datatype').
33		'symbol'('D3','D3','src_span'(7,10,7,12,98,2),'Datatype').
34		'symbol'('cons3','cons3','src_span'(7,15,7,20,103,5),'Constructor of Datatype').
35		'symbol'('b3','b3','src_span'(7,31,7,33,119,2),'Constructor of Datatype').
36		'symbol'('c3','c3','src_span'(7,36,7,38,124,2),'Constructor of Datatype').
37		'symbol'('D','D','src_span'(9,10,9,11,137,1),'Nametype').
38		'symbol'('a','a','src_span'(11,9,11,10,156,1),'Channel').
39		'symbol'('ch','ch','src_span'(13,9,13,11,187,2),'Channel').
40		'symbol'('ch3','ch3','src_span'(15,9,15,12,209,3),'Channel').
41		'symbol'('MAIN','MAIN','src_span'(17,1,17,5,218,4),'Ident (Groundrep.)').
42		'symbol'('x','x','src_span'(17,13,17,14,230,1),'Ident (Prolog Variable)').
43		'symbol'('n','n','src_span'(17,25,17,26,242,1),'Ident (Prolog Variable)').
44		'symbol'('m','m','src_span'(17,38,17,39,255,1),'Ident (Prolog Variable)').
45		'symbol'('x2','x','src_span'(18,5,18,6,286,1),'Ident (Prolog Variable)').
46		'symbol'('cons3','cons3','src_span'(7,15,7,20,103,5),'Constructor of Datatype').
47		'symbol'('y','y','src_span'(18,17,18,18,298,1),'Ident (Prolog Variable)').