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'('in','type'('dotUnitType')).
18		'channel'('out','type'('dotUnitType')).
19		'bindval'('A','prefix'('src_span'(3,5,3,7,20,2),[],'in','prefix'('src_span'(3,11,3,14,26,3),[],'out','val_of'('A','src_span'(3,18,3,19,33,1)),'src_span'(3,15,3,17,29,8)),'src_span'(3,8,3,10,22,14)),'src_span'(3,1,3,19,16,18)).
20		'bindval'('B','prefix'('src_span'(5,5,5,7,40,2),[],'in','prefix'('src_span'(5,11,5,14,46,3),[],'out','prefix'('src_span'(5,18,5,20,53,2),[],'in','prefix'('src_span'(5,24,5,27,59,3),[],'out','val_of'('B','src_span'(5,31,5,32,66,1)),'src_span'(5,28,5,30,62,8)),'src_span'(5,21,5,23,55,14)),'src_span'(5,15,5,17,49,21)),'src_span'(5,8,5,10,42,27)),'src_span'(5,1,5,32,36,31)).
21		'bindval'('C','prefix'('src_span'(7,5,7,7,73,2),[],'in','prefix'('src_span'(7,11,7,14,79,3),[],'out','[]'('val_of'('C','src_span'(7,19,7,20,87,1)),'prefix'('src_span'(7,24,7,26,92,2),[],'in','prefix'('src_span'(7,30,7,33,98,3),[],'out','val_of'('C','src_span'(7,37,7,38,105,1)),'src_span'(7,34,7,36,101,8)),'src_span'(7,27,7,29,94,14)),'src_span_operator'('no_loc_info_available','src_span'(7,21,7,23,89,2))),'src_span'(7,15,7,17,82,28)),'src_span'(7,8,7,10,75,34)),'src_span'(7,1,7,39,69,38)).
22		'bindval'('D','prefix'('src_span'(9,5,9,7,113,2),[],'in','prefix'('src_span'(9,11,9,14,119,3),[],'out','prefix'('src_span'(9,18,9,20,126,2),[],'in','prefix'('src_span'(9,24,9,27,132,3),[],'out','stop'('src_span'(9,31,9,35,139,4)),'src_span'(9,28,9,30,135,11)),'src_span'(9,21,9,23,128,17)),'src_span'(9,15,9,17,122,24)),'src_span'(9,8,9,10,115,30)),'src_span'(9,1,9,35,109,34)).
23		'bindval'('E','prefix'('src_span'(11,5,11,7,149,2),[],'in','prefix'('src_span'(11,11,11,14,155,3),[],'out','prefix'('src_span'(11,18,11,20,162,2),[],'in','prefix'('src_span'(11,24,11,27,168,3),[],'out','prefix'('src_span'(11,31,11,33,175,2),[],'in','val_of'('A','src_span'(11,37,11,38,181,1)),'src_span'(11,34,11,36,177,7)),'src_span'(11,28,11,30,171,14)),'src_span'(11,21,11,23,164,20)),'src_span'(11,15,11,17,158,27)),'src_span'(11,8,11,10,151,33)),'src_span'(11,1,11,38,145,37)).
24		'symbol'('in','in','src_span'(1,9,1,11,8,2),'Channel').
25		'symbol'('out','out','src_span'(1,12,1,15,11,3),'Channel').
26		'symbol'('A','A','src_span'(3,1,3,2,16,1),'Ident (Groundrep.)').
27		'symbol'('B','B','src_span'(5,1,5,2,36,1),'Ident (Groundrep.)').
28		'symbol'('C','C','src_span'(7,1,7,2,69,1),'Ident (Groundrep.)').
29		'symbol'('D','D','src_span'(9,1,9,2,109,1),'Ident (Groundrep.)').
30		'symbol'('E','E','src_span'(11,1,11,2,145,1),'Ident (Groundrep.)').