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		'bindval'('S','setExp'('rangeEnum'([_x]),['comprehensionGenerator'(_x,'setExp'('rangeClosed'('int'(0),'int'(1000)))),'comprehensionGenerator'(_y,'setExp'('rangeClosed'('int'(-999),'int'(5)))),'comprehensionGuard'('=='('+'(_x,_y),'int'(1000)))]),'src_span'(4,1,4,53,101,52)).
18		'channel'('c','type'('dotTupleType'(['setExp'('rangeClosed'('int'(995),'int'(1000)))]))).
19		'bindval'('TEST','repChoice'(['comprehensionGenerator'(_i,'val_of'('S','src_span'(7,13,7,14,191,1)))],'prefix'('src_span'(7,17,7,20,195,3),[],'dotTuple'(['c',_i]),'stop'('src_span'(7,24,7,28,202,4)),'src_span'(7,21,7,23,198,11)),'src_span'(7,11,7,16,189,5)),'src_span'(7,1,7,28,179,27)).
20		'bindval'('MAIN','prefix'('src_span'(9,8,9,9,215,1),['in'(_x2)],'c','stop'('src_span'(9,15,9,19,222,4)),'src_span'(9,12,9,14,218,10)),'src_span'(9,1,9,19,208,18)).
21		'assertRef'('False','val_of'('MAIN','src_span'(11,8,11,12,235,4)),'FailureDivergence','val_of'('TEST','src_span'(11,18,11,22,245,4)),'src_span'(11,1,11,22,228,21)).
22		'assertRef'('False','val_of'('TEST','src_span'(12,8,12,12,257,4)),'FailureDivergence','val_of'('MAIN','src_span'(12,18,12,22,267,4)),'src_span'(12,1,12,22,250,21)).
23		'comment'('lineComment'('-- SetComprehension'),'src_position'(1,1,0,19)).
24		'comment'('blockComment'('{- The analog code segment in Prolog: X in 0..1000, Y in -999..5, X+Y #= 1000-}'),'src_position'(3,1,21,79)).
25		'symbol'('S','S','src_span'(4,1,4,2,101,1),'Ident (Groundrep.)').
26		'symbol'('x','x','src_span'(4,10,4,11,110,1),'Ident (Prolog Variable)').
27		'symbol'('y','y','src_span'(4,26,4,27,126,1),'Ident (Prolog Variable)').
28		'symbol'('c','c','src_span'(5,9,5,10,162,1),'Channel').
29		'symbol'('TEST','TEST','src_span'(7,1,7,5,179,4),'Ident (Groundrep.)').
30		'symbol'('i','i','src_span'(7,11,7,12,189,1),'Ident (Prolog Variable)').
31		'symbol'('MAIN','MAIN','src_span'(9,1,9,5,208,4),'Ident (Groundrep.)').
32		'symbol'('x2','x','src_span'(9,10,9,11,217,1),'Ident (Prolog Variable)').