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'('Inc1','type'('dotUnitType')).
18		'channel'('Inc2','type'('dotUnitType')).
19		'channel'('Inc3','type'('dotUnitType')).
20		'bindval'('MAIN','prefix'('src_span'(3,8,3,12,42,4),[],'Inc1','prefix'('src_span'(3,16,3,20,50,4),[],'Inc2','prefix'('src_span'(3,24,3,28,58,4),[],'Inc3','val_of'('MAIN','src_span'(3,32,3,36,66,4)),'src_span'(3,29,3,31,62,12)),'src_span'(3,21,3,23,54,20)),'src_span'(3,13,3,15,46,28)),'src_span'(3,1,3,36,35,35)).
21		'comment'('lineComment'('-- Counters'),'src_position'(1,1,0,11)).
22		'symbol'('Inc1','Inc1','src_span'(2,9,2,13,20,4),'Channel').
23		'symbol'('Inc2','Inc2','src_span'(2,14,2,18,25,4),'Channel').
24		'symbol'('Inc3','Inc3','src_span'(2,19,2,23,30,4),'Channel').
25		'symbol'('MAIN','MAIN','src_span'(3,1,3,5,35,4),'Ident (Groundrep.)').