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'('a','type'('dotTupleType'(['intType']))).
18		'bindval'('MAIN','prefix'('src_span'(10,8,10,9,215,1),['inGuard'(_v,'agent_call'('src_span'(10,12,10,17,219,5),'Inter',['setExp'('rangeEnum'([]))]))],'a','val_of'('MAIN','src_span'(10,25,10,29,232,4)),'src_span'(10,22,10,24,228,20)),'src_span'(10,1,10,29,208,28)).
19		'comment'('lineComment'('-- EmptySetNotAllowedForInterError'),'src_position'(1,1,0,34)).
20		'comment'('lineComment'('-- Code coverage.'),'src_position'(3,1,36,17)).
21		'comment'('lineComment'('-- Modules: csp_sets'),'src_position'(4,1,54,20)).
22		'comment'('lineComment'('-- Predicates: is_member_inter/2'),'src_position'(5,1,75,32)).
23		'comment'('lineComment'('-- Clauses: first error clause of the predicate (Empty set not allowed for Inter)'),'src_position'(6,1,108,81)).
24		'symbol'('a','a','src_span'(8,9,8,10,199,1),'Channel').
25		'symbol'('MAIN','MAIN','src_span'(10,1,10,5,208,4),'Ident (Groundrep.)').
26		'symbol'('v','v','src_span'(10,10,10,11,217,1),'Ident (Prolog Variable)').
27		'symbol'('Inter','Inter','src_span'(10,12,10,17,219,5),'BuiltIn primitive').