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'('c','type'('dotTupleType'(['boolType']))).
18		'channel'('d','type'('dotTupleType'(['boolType']))).
19		'agent'('Q'('int'(0)),'prefix'('src_span'(5,8,5,14,54,6),[],'dotTuple'(['c','true']),'stop'('src_span'(5,18,5,22,64,4)),'src_span'(5,15,5,17,60,14)),'src_span'(5,8,5,22,54,14)).
20		'agent'('Q'('int'(1)),'prefix'('src_span'(6,8,6,14,76,6),[],'dotTuple'(['d','true']),'stop'('src_span'(6,18,6,22,86,4)),'src_span'(6,15,6,17,82,14)),'src_span'(6,8,6,22,76,14)).
21		'bindval'('P','procRepLinkParallel'('linkListComp'(['comprehensionGenerator'(_x,'setExp'('rangeEnum'(['false','true']))),'comprehensionGuard'(_x)],['link'('dotTuple'(['c',_x]),'dotTuple'(['d',_x]))]),['comprehensionGenerator'(_y,'listExp'('rangeEnum'(['int'(0),'int'(1)])))],'agent_call'('src_span'(8,53,8,54,144,1),'Q',[_y]),'src_span'(8,41,8,52,132,11)),'src_span'(8,1,8,57,92,56)).
22		'assertRef'('False','val_of'('P','src_span'(10,8,10,9,157,1)),'Trace','stop'('src_span'(10,14,10,18,163,4)),'src_span'(10,1,10,18,150,17)).
23		'assertRef'('False','stop'('src_span'(11,8,11,12,175,4)),'Trace','val_of'('P','src_span'(11,17,11,18,184,1)),'src_span'(11,1,11,18,168,17)).
24		'bindval'('MAIN','val_of'('P','src_span'(13,8,13,9,194,1)),'src_span'(13,1,13,9,187,8)).
25		'comment'('lineComment'('-- ReplicatedLinkedParallel'),'src_position'(1,1,0,27)).
26		'symbol'('c','c','src_span'(3,9,3,10,37,1),'Channel').
27		'symbol'('d','d','src_span'(3,11,3,12,39,1),'Channel').
28		'symbol'('Q','Q','src_span'(5,1,5,2,47,1),'Funktion or Process').
29		'symbol'('P','P','src_span'(8,1,8,2,92,1),'Ident (Groundrep.)').
30		'symbol'('x','x','src_span'(8,20,8,21,111,1),'Ident (Prolog Variable)').
31		'symbol'('y','y','src_span'(8,41,8,42,132,1),'Ident (Prolog Variable)').
32		'symbol'('MAIN','MAIN','src_span'(13,1,13,5,187,4),'Ident (Groundrep.)').