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'('DATA',['constructor'('DATA1'),'constructor'('DATA2')]).
18		'nameType'('INPUT','type'('dotTupleType'(['agent_call'('src_span'(3,18,3,21,76,3),'Set',['DATA'])]))).
19		'channel'('produce','type'('dotTupleType'(['INPUT']))).
20		'channel'('consume','type'('dotTupleType'(['INPUT']))).
21		'channel'('message','type'('dotTupleType'(['INPUT']))).
22		'bindval'('MAIN','sharing'('closure'(['message']),'val_of'('PRODUCER','src_span'(9,8,9,16,166,8)),'val_of'('CONSUMER','src_span'(9,35,9,43,193,8)),'src_span'(9,17,9,34,175,17)),'src_span'(9,1,9,43,159,42)).
23		'bindval'('PRODUCER','prefix'('src_span'(11,13,11,20,215,7),['in'(_i)],'produce','prefix'('src_span'(11,26,11,33,228,7),['out'(_i)],'message','stop'('src_span'(11,39,11,43,241,4)),'src_span'(11,36,11,38,237,10)),'src_span'(11,23,11,25,224,23)),'src_span'(11,1,11,43,203,42)).
24		'bindval'('CONSUMER','prefix'('src_span'(12,13,12,20,258,7),['in'(_i2)],'message','prefix'('src_span'(12,26,12,33,271,7),['out'(_i2)],'consume','stop'('src_span'(12,39,12,43,284,4)),'src_span'(12,36,12,38,280,10)),'src_span'(12,23,12,25,267,23)),'src_span'(12,1,12,43,246,42)).
25		'comment'('lineComment'('-- SetChannelSynchronisation'),'src_position'(1,1,0,28)).
26		'symbol'('DATA','DATA','src_span'(2,10,2,14,38,4),'Datatype').
27		'symbol'('DATA1','DATA1','src_span'(2,17,2,22,45,5),'Constructor of Datatype').
28		'symbol'('DATA2','DATA2','src_span'(2,25,2,30,53,5),'Constructor of Datatype').
29		'symbol'('INPUT','INPUT','src_span'(3,11,3,16,69,5),'Nametype').
30		'symbol'('Set','Set','src_span'(3,18,3,21,76,3),'BuiltIn primitive').
31		'symbol'('produce','produce','src_span'(5,9,5,16,95,7),'Channel').
32		'symbol'('consume','consume','src_span'(6,9,6,16,119,7),'Channel').
33		'symbol'('message','message','src_span'(7,9,7,16,142,7),'Channel').
34		'symbol'('MAIN','MAIN','src_span'(9,1,9,5,159,4),'Ident (Groundrep.)').
35		'symbol'('PRODUCER','PRODUCER','src_span'(11,1,11,9,203,8),'Ident (Groundrep.)').
36		'symbol'('i','i','src_span'(11,21,11,22,223,1),'Ident (Prolog Variable)').
37		'symbol'('CONSUMER','CONSUMER','src_span'(12,1,12,9,246,8),'Ident (Groundrep.)').
38		'symbol'('i2','i','src_span'(12,21,12,22,266,1),'Ident (Prolog Variable)').