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'('ID',['constructor'('a'),'constructor'('b'),'constructor'('c')]).
18		'bindval'('Nrs','setExp'('rangeEnum'(['int'(0),'int'(1),'int'(3)])),'src_span'(4,1,4,14,42,13)).
19		'bindval'('BB','setExp'('rangeEnum'(['true','false'])),'src_span'(10,1,10,18,114,17)).
20		'channel'('SetMode','type'('dotTupleType'(['ID']))).
21		'channel'('Final','type'('dotUnitType')).
22		'channel'('DLK','type'('dotUnitType')).
23		'channel'('initial','type'('dotUnitType')).
24		'channel'('IsInitial','type'('dotTupleType'(['val_of'('BB','src_span'(15,21,15,23,214,2))]))).
25		'channel'('Count','type'('dotTupleType'(['val_of'('Nrs','src_span'(16,17,16,20,233,3))]))).
26		'channel'('Contains_mode','type'('dotTupleType'(['agent_call'('src_span'(17,24,17,27,260,3),'Set',['ID']),'boolType']))).
27		'channel'('ID_Sequence','type'('dotTupleType'(['val_of'('Seqs','src_span'(18,22,18,26,294,4))]))).
28		'bindval'('Seqs','setExp'('rangeEnum'(['listExp'('rangeEnum'(['a','b','c'])),'listExp'('rangeEnum'(['c','b','a']))])),'src_span'(20,1,20,25,317,24)).
29		'channel'('PairCheck','type'('dotTupleType'(['val_of'('Pairs','src_span'(21,20,21,25,361,5))]))).
30		'bindval'('Pairs','setExp'('rangeEnum'(['tupleExp'(['a','true']),'tupleExp'(['a','false']),'tupleExp'(['b','true']),'tupleExp'(['b','false']),'tupleExp'(['c','true']),'tupleExp'(['c','false'])])),'src_span'(22,1,22,69,367,68)).
31		'channel'('PairCheck2','type'('dotTupleType'(['typeTuple'(['ID','boolType'])]))).
32		'bindval'('MAIN','val_of'('RUN','src_span'(25,8,25,11,474,3)),'src_span'(25,1,25,11,467,10)).
33		'bindval'('RUN','[]'('[]'('[]'('[]'('[]'('prefix'('src_span'(26,7,26,12,484,5),[],'Final','prefix'('src_span'(26,16,26,19,493,3),[],'DLK','stop'('src_span'(26,23,26,27,500,4)),'src_span'(26,20,26,22,496,11)),'src_span'(26,13,26,15,489,20)),'prefix'('src_span'(27,7,27,14,514,7),['in'(_x)],'SetMode','val_of'('RUN','src_span'(27,20,27,23,527,3)),'src_span'(27,17,27,19,523,9)),'src_span_operator'('no_loc_info_available','src_span'(26,28,26,30,505,2))),'prefix'('src_span'(28,7,28,16,540,9),['out'('true')],'IsInitial','prefix'('src_span'(28,25,28,32,558,7),[],'initial','val_of'('RUN','src_span'(28,36,28,39,569,3)),'src_span'(28,33,28,35,565,14)),'src_span'(28,22,28,24,554,23)),'src_span_operator'('no_loc_info_available','src_span'(27,24,27,26,531,2))),'prefix'('src_span'(29,7,29,20,582,13),['out'('setExp'('rangeEnum'(['b','c']))),'out'('true')],'Contains_mode','val_of'('RUN','src_span'(29,35,29,38,610,3)),'src_span'(29,32,29,34,606,12)),'src_span_operator'('no_loc_info_available','src_span'(28,40,28,42,573,2))),'prefix'('src_span'(30,7,30,18,623,11),['in'(_l)],'ID_Sequence','val_of'('RUN','src_span'(30,24,30,27,640,3)),'src_span'(30,21,30,23,636,9)),'src_span_operator'('no_loc_info_available','src_span'(29,39,29,41,614,2))),'prefix'('src_span'(31,7,31,16,653,9),['in'(_x2)],'PairCheck','val_of'('RUN','src_span'(31,22,31,25,668,3)),'src_span'(31,19,31,21,664,9)),'src_span_operator'('no_loc_info_available','src_span'(30,28,30,30,644,2))),'src_span'(26,1,31,25,478,193)).
34		'comment'('lineComment'('-- StringMachine'),'src_position'(1,1,0,16)).
35		'comment'('lineComment'('-- Nrs = {0..}'),'src_position'(5,1,56,14)).
36		'comment'('lineComment'('-- Nrs = {0..3}'),'src_position'(6,1,71,15)).
37		'comment'('lineComment'('-- Nrs = Int'),'src_position'(7,1,87,12)).
38		'comment'('lineComment'('-- BB = Bool'),'src_position'(9,1,101,12)).
39		'comment'('lineComment'('-- BB = {1}'),'src_position'(11,1,132,11)).
40		'comment'('lineComment'('--Seqs = Seq(ID)'),'src_position'(19,1,300,16)).
41		'symbol'('ID','ID','src_span'(2,10,2,12,26,2),'Datatype').
42		'symbol'('a','a','src_span'(2,15,2,16,31,1),'Constructor of Datatype').
43		'symbol'('b','b','src_span'(2,19,2,20,35,1),'Constructor of Datatype').
44		'symbol'('c','c','src_span'(2,23,2,24,39,1),'Constructor of Datatype').
45		'symbol'('Nrs','Nrs','src_span'(4,1,4,4,42,3),'Ident (Groundrep.)').
46		'symbol'('BB','BB','src_span'(10,1,10,3,114,2),'Ident (Groundrep.)').
47		'symbol'('SetMode','SetMode','src_span'(13,9,13,16,153,7),'Channel').
48		'symbol'('Final','Final','src_span'(14,9,14,14,174,5),'Channel').
49		'symbol'('DLK','DLK','src_span'(14,16,14,19,181,3),'Channel').
50		'symbol'('initial','initial','src_span'(14,21,14,28,186,7),'Channel').
51		'symbol'('IsInitial','IsInitial','src_span'(15,9,15,18,202,9),'Channel').
52		'symbol'('Count','Count','src_span'(16,9,16,14,225,5),'Channel').
53		'symbol'('Contains_mode','Contains_mode','src_span'(17,9,17,22,245,13),'Channel').
54		'symbol'('Set','Set','src_span'(17,24,17,27,260,3),'BuiltIn primitive').
55		'symbol'('ID_Sequence','ID_Sequence','src_span'(18,9,18,20,281,11),'Channel').
56		'symbol'('Seqs','Seqs','src_span'(20,1,20,5,317,4),'Ident (Groundrep.)').
57		'symbol'('PairCheck','PairCheck','src_span'(21,9,21,18,350,9),'Channel').
58		'symbol'('Pairs','Pairs','src_span'(22,1,22,6,367,5),'Ident (Groundrep.)').
59		'symbol'('PairCheck2','PairCheck2','src_span'(23,9,23,19,444,10),'Channel').
60		'symbol'('MAIN','MAIN','src_span'(25,1,25,5,467,4),'Ident (Groundrep.)').
61		'symbol'('RUN','RUN','src_span'(26,1,26,4,478,3),'Ident (Groundrep.)').
62		'symbol'('x','x','src_span'(27,15,27,16,522,1),'Ident (Prolog Variable)').
63		'symbol'('l','l','src_span'(30,19,30,20,635,1),'Ident (Prolog Variable)').
64		'symbol'('x2','x','src_span'(31,17,31,18,663,1),'Ident (Prolog Variable)').