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'('nbRes','int'(4),'src_span'(1,1,1,10,0,9)).
18		'bindval'('nbProc','int'(4),'src_span'(2,1,2,11,10,10)).
19		'bindval'('Ressource','setExp'('rangeClosed'('int'(1),'val_of'('nbRes','src_span'(3,17,3,22,37,5)))),'src_span'(3,1,3,23,21,22)).
20		'bindval'('Processus','setExp'('rangeClosed'('int'(1),'val_of'('nbProc','src_span'(4,17,4,23,60,6)))),'src_span'(4,1,4,24,44,23)).
21		'channel'('acquerir','type'('dotTupleType'(['val_of'('Processus','src_span'(6,20,6,29,88,9)),'val_of'('Ressource','src_span'(6,32,6,41,100,9))]))).
22		'channel'('liberer','type'('dotTupleType'(['val_of'('Ressource','src_span'(7,19,7,28,128,9))]))).
23		'agent'('UnProcessus'(_p,_obj,_acq),'[]'('[]'('&'('bool_and'('agent_call'('src_span'(11,9,11,14,173,5),'empty',[_obj]),'bool_not'('agent_call'('src_span'(11,28,11,33,192,5),'empty',[_acq]))),'repChoice'(['comprehensionGenerator'(_x,_acq)],'prefix'('src_span'(12,30,12,37,232,7),['out'(_x)],'liberer','agent_call'('src_span'(12,43,12,54,245,11),'UnProcessus',[_p,_obj,'agent_call'('src_span'(12,61,12,65,263,4),'diff',[_acq,'setExp'('rangeEnum'([_x]))])]),'src_span'(12,40,12,42,241,38)),'src_span'(12,20,12,29,222,9))),'&'('bool_not'('agent_call'('src_span'(13,13,13,18,291,5),'empty',[_obj])),'prefix'('src_span'(14,17,14,25,318,8),['out'(_p),'out'('agent_call'('src_span'(14,28,14,34,329,6),'minSet',[_obj]))],'acquerir','agent_call'('src_span'(15,18,15,29,361,11),'UnProcessus',[_p,'agent_call'('src_span'(15,32,15,36,375,4),'diff',[_obj,'setExp'('rangeEnum'(['agent_call'('src_span'(15,42,15,48,385,6),'minSet',[_obj])]))]),'agent_call'('src_span'(15,56,15,61,399,5),'union',[_acq,'setExp'('rangeEnum'(['agent_call'('src_span'(15,67,15,73,410,6),'minSet',[_obj])]))])]),'src_span'(14,40,15,17,340,96))),'src_span_operator'('no_loc_info_available','src_span'(13,5,13,7,283,2))),'&'('bool_and'('agent_call'('src_span'(17,9,17,14,441,5),'empty',[_obj]),'agent_call'('src_span'(17,24,17,29,456,5),'empty',[_acq])),'repChoice'(['comprehensionGenerator'(_x2,'agent_call'('src_span'(18,23,18,26,489,3),'Set',['val_of'('Ressource','src_span'(18,27,18,36,493,9))]))],'&'('>='('agent_call'('src_span'(18,40,18,44,506,4),'card',[_x2]),'int'(2)),'agent_call'('src_span'(18,55,18,66,521,11),'UnProcessus',[_p,_x2,'setExp'('rangeEnum'([]))])),'src_span'(18,19,18,39,485,20))),'src_span_operator'('no_loc_info_available','src_span'(16,5,16,7,430,2))),'no_loc_info_available').
24		'agent'('UneRessource'(_r),'prefix'('src_span'(20,19,20,27,561,8),['in'(_p2),'out'(_r)],'acquerir','prefix'('src_span'(20,35,20,42,577,7),['out'(_r)],'liberer','agent_call'('src_span'(20,48,20,60,590,12),'UneRessource',[_r]),'src_span'(20,45,20,47,586,21)),'src_span'(20,32,20,34,573,34)),'src_span'(20,19,20,63,561,44)).
25		'bindval'('MAIN','sharing'('closure'(['acquerir','liberer']),'repInterleave'(['comprehensionGenerator'(_p3,'val_of'('Processus','src_span'(23,19,23,28,632,9)))],'agent_call'('src_span'(23,31,23,42,644,11),'UnProcessus',[_p3,'setExp'('rangeEnum'([])),'setExp'('rangeEnum'([]))]),'src_span'(23,15,23,30,628,15)),'repInterleave'(['comprehensionGenerator'(_r2,'val_of'('Ressource','src_span'(25,19,25,28,718,9)))],'agent_call'('src_span'(25,31,25,43,730,12),'UneRessource',[_r2]),'src_span'(25,15,25,30,714,15)),'src_span'(24,5,24,33,671,28)),'src_span'(22,1,25,48,607,140)).
26		'agent'('minSet'(_S),'agent_call'('src_span'(28,13,28,19,762,6),'minSeq',['agent_call'('src_span'(28,20,28,23,769,3),'seq',[_S])]),'src_span'(28,13,28,27,762,14)).
27		'agent'('min'(_x3,_y),'ifte'('<'(_x3,_y),_x3,_y,'no_loc_info_available','no_loc_info_available','src_span'(29,28,29,32,803,8)),'src_span'(29,12,29,34,788,22)).
28		'agent'('minSeq'('listPat'([_x4])),_x4,'src_span'(30,15,30,16,825,1)).
29		'agent'('minSeq'('appendPattern'(['listPat'([_x5]),_s])),'agent_call'('src_span'(31,17,31,20,843,3),'min',[_x5,'agent_call'('src_span'(31,23,31,29,849,6),'minSeq',[_s])]),'src_span'(31,17,31,33,843,16)).
30		'assertModelCheck'('False','val_of'('MAIN','src_span'(33,8,33,12,868,4)),'DeadlockFree').
31		'symbol'('nbRes','nbRes','src_span'(1,1,1,6,0,5),'Ident (Groundrep.)').
32		'symbol'('nbProc','nbProc','src_span'(2,1,2,7,10,6),'Ident (Groundrep.)').
33		'symbol'('Ressource','Ressource','src_span'(3,1,3,10,21,9),'Ident (Groundrep.)').
34		'symbol'('Processus','Processus','src_span'(4,1,4,10,44,9),'Ident (Groundrep.)').
35		'symbol'('acquerir','acquerir','src_span'(6,9,6,17,77,8),'Channel').
36		'symbol'('liberer','liberer','src_span'(7,9,7,16,118,7),'Channel').
37		'symbol'('UnProcessus','UnProcessus','src_span'(9,1,9,12,139,11),'Funktion or Process').
38		'symbol'('p','p','src_span'(9,13,9,14,151,1),'Ident (Prolog Variable)').
39		'symbol'('obj','obj','src_span'(9,15,9,18,153,3),'Ident (Prolog Variable)').
40		'symbol'('acq','acq','src_span'(9,19,9,22,157,3),'Ident (Prolog Variable)').
41		'symbol'('empty','empty','src_span'(11,9,11,14,173,5),'BuiltIn primitive').
42		'symbol'('x','x','src_span'(12,20,12,21,222,1),'Ident (Prolog Variable)').
43		'symbol'('diff','diff','src_span'(12,61,12,65,263,4),'BuiltIn primitive').
44		'symbol'('diff','diff','src_span'(15,32,15,36,375,4),'BuiltIn primitive').
45		'symbol'('union','union','src_span'(15,56,15,61,399,5),'BuiltIn primitive').
46		'symbol'('x2','x','src_span'(18,19,18,20,485,1),'Ident (Prolog Variable)').
47		'symbol'('Set','Set','src_span'(18,23,18,26,489,3),'BuiltIn primitive').
48		'symbol'('card','card','src_span'(18,40,18,44,506,4),'BuiltIn primitive').
49		'symbol'('UneRessource','UneRessource','src_span'(20,1,20,13,543,12),'Funktion or Process').
50		'symbol'('r','r','src_span'(20,14,20,15,556,1),'Ident (Prolog Variable)').
51		'symbol'('p2','p','src_span'(20,28,20,29,570,1),'Ident (Prolog Variable)').
52		'symbol'('MAIN','MAIN','src_span'(22,1,22,5,607,4),'Ident (Groundrep.)').
53		'symbol'('p3','p','src_span'(23,15,23,16,628,1),'Ident (Prolog Variable)').
54		'symbol'('r2','r','src_span'(25,15,25,16,714,1),'Ident (Prolog Variable)').
55		'symbol'('minSet','minSet','src_span'(28,1,28,7,750,6),'Funktion or Process').
56		'symbol'('S','S','src_span'(28,8,28,9,757,1),'Ident (Prolog Variable)').
57		'symbol'('seq','seq','src_span'(28,20,28,23,769,3),'BuiltIn primitive').
58		'symbol'('min','min','src_span'(29,1,29,4,777,3),'Funktion or Process').
59		'symbol'('x3','x','src_span'(29,5,29,6,781,1),'Ident (Prolog Variable)').
60		'symbol'('y','y','src_span'(29,7,29,8,783,1),'Ident (Prolog Variable)').
61		'symbol'('minSeq','minSeq','src_span'(30,1,30,7,811,6),'Funktion or Process').
62		'symbol'('x4','x','src_span'(30,9,30,10,819,1),'Ident (Prolog Variable)').
63		'symbol'('x5','x','src_span'(31,9,31,10,835,1),'Ident (Prolog Variable)').
64		'symbol'('s','s','src_span'(31,12,31,13,838,1),'Ident (Prolog Variable)').