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		'agent'('wire'(_P,_A,_Q),'\x5c\'('sharing'(_A,_P,_Q,'src_span'(20,18,20,25,441,7)),_A,'src_span_operator'('no_loc_info_available','src_span'(20,29,20,30,452,1))),'no_loc_info_available').
18		'agent'('BUFFER'(_n,_in,_out,_type),'let'(['agent'('B'('listPat'([])),'prefix'('src_span'(27,13,27,15,619,2),['inGuard'(_x,_type)],_in,'agent_call'('src_span'(27,26,27,27,632,1),'B',['listExp'('rangeEnum'([_x]))]),'src_span'(27,23,27,25,628,17)),'src_span'(27,13,27,32,619,19)),'agent'('B'(_s),'[]'('prefix'('src_span'(28,13,28,16,651,3),['out'('agent_call'('src_span'(28,17,28,21,655,4),'head',[_s]))],_out,'agent_call'('src_span'(28,28,28,29,666,1),'B',['agent_call'('src_span'(28,30,28,34,668,4),'tail',[_s])]),'src_span'(28,25,28,27,662,22)),'|~|'('stop'('src_span'(29,14,29,18,690,4)),'&'('<'('#'(_s),_n),'prefix'('src_span'(29,30,29,32,706,2),['inGuard'(_x2,_type)],_in,'agent_call'('src_span'(29,43,29,44,719,1),'B',['^'(_s,'listExp'('rangeEnum'([_x2])))]),'src_span'(29,40,29,42,715,19))),'src_span_operator'('no_loc_info_available','src_span'(29,19,29,22,695,3))),'src_span_operator'('no_loc_info_available','src_span'(29,10,29,12,686,2))),'no_loc_info_available')],'agent_call'('src_span'(30,10,30,11,738,1),'B',['listExp'('rangeEnum'([]))])),'src_span'(26,3,30,15,603,140)).
19		'agent'('FAULTY'(_n2,_in2,_out2,_type2),'let'(['bindval'('PassRate','int'(3),'src_span'(37,5,37,17,892,12)),'agent'('B2'('listPat'([]),_since_last),'prefix'('src_span'(38,24,38,26,928,2),['inGuard'(_x3,_type2)],_in2,'agent_call'('src_span'(38,37,38,38,941,1),'A2',['listExp'('rangeEnum'([])),_since_last,_x3]),'src_span'(38,34,38,36,937,29)),'src_span'(38,24,38,55,928,31)),'agent'('B2'(_s2,_since_last2),'[]'('prefix'('src_span'(39,24,39,27,983,3),['out'('agent_call'('src_span'(39,28,39,32,987,4),'head',[_s2]))],_out2,'agent_call'('src_span'(39,39,39,40,998,1),'B2',['agent_call'('src_span'(39,41,39,45,1000,4),'tail',[_s2]),_since_last2]),'src_span'(39,36,39,38,994,33)),'|~|'('stop'('src_span'(40,25,40,29,1044,4)),'&'('<'('#'(_s2),_n2),'prefix'('src_span'(40,41,40,43,1060,2),['inGuard'(_x4,_type2)],_in2,'agent_call'('src_span'(40,54,40,55,1073,1),'A2',[_s2,_since_last2,_x4]),'src_span'(40,51,40,53,1069,28))),'src_span_operator'('no_loc_info_available','src_span'(40,30,40,33,1049,3))),'src_span_operator'('no_loc_info_available','src_span'(40,21,40,23,1040,2))),'no_loc_info_available'),'agent'('A2'(_s3,_since_last3,_x5),'ifte'('<'(_since_last3,'val_of'('PassRate','src_span'(42,23,42,31,1138,8))),'|~|'('agent_call'('src_span'(43,9,43,10,1160,1),'B2',['^'(_s3,'listExp'('rangeEnum'([_x5]))),'int'(0)]),'agent_call'('src_span'(43,24,43,25,1175,1),'B2',[_s3,'+'(_since_last3,'int'(1))]),'src_span_operator'('no_loc_info_available','src_span'(43,20,43,23,1171,3))),'agent_call'('src_span'(45,9,45,10,1212,1),'B2',['^'(_s3,'listExp'('rangeEnum'([_x5]))),'int'(0)]),'no_loc_info_available','no_loc_info_available','no_loc_info_available'),'src_span'(42,7,45,19,1122,100))],'agent_call'('src_span'(46,10,46,11,1232,1),'B2',['listExp'('rangeEnum'([])),'int'(0)])),'src_span'(36,3,46,17,884,355)).
20		'dataTypeDef'('Connection_Data',['constructorC'('bit','dotTupleType'(['setExp'('rangeEnum'(['int'(0),'int'(1)]))]))]).
21		'dataTypeDef'('Host',['constructor'('newton'),'constructor'('goedel')]).
22		'nameType'('Port','type'('dotTupleType'(['setExp'('rangeClosed'('int'(0),'int'(2)))]))).
23		'nameType'('Connection_Addr','type'('dotTupleType'(['Host','Port']))).
24		'channel'('connection','type'('dotTupleType'(['Connection_Addr','Connection_Data']))).
25		'bindval'('Connections','setExp'('rangeEnum'(['tupleExp'(['dotTuple'(['newton','int'(0)]),'dotTuple'(['goedel','int'(1)])]),'tupleExp'(['dotTuple'(['goedel','int'(0)]),'dotTuple'(['newton','int'(1)])]),'tupleExp'(['dotTuple'(['newton','int'(2)]),'dotTuple'(['goedel','int'(2)])])])),'src_span'(68,1,72,2,1743,88)).
26		'bindval'('ConnectionService','let'(['agent'('Buff'(_read,_write),'prefix'('src_span'(82,25,82,29,2043,4),['in'(_x6)],_read,'prefix'('src_span'(82,35,82,40,2053,5),['out'(_x6)],_write,'agent_call'('src_span'(82,46,82,50,2064,4),'Buff',[_read,_write]),'src_span'(82,43,82,45,2060,23)),'src_span'(82,32,82,34,2049,34)),'src_span'(82,25,82,63,2043,38))],'repInterleave'(['comprehensionGenerator'('tuplePat'([_s4,_d]),'val_of'('Connections','src_span'(83,22,83,33,2103,11)))],'agent_call'('src_span'(83,36,83,40,2117,4),'Buff',['dotTuple'(['connection',_s4]),'dotTuple'(['connection',_d])]),'src_span'(83,14,83,35,2095,21))),'src_span'(80,1,83,68,1992,157)).
27		'dataTypeDef'('Network_Data',['constructor'('CAck'),'constructorC'('CData','dotTupleType'(['Connection_Data']))]).
28		'bindval'('Network_Data_Fwd','closure'(['CData']),'src_span'(95,1,95,31,2430,30)).
29		'bindval'('Network_Data_Rev','agent_call'('src_span'(96,20,96,24,2480,4),'diff',['Network_Data','val_of'('Network_Data_Fwd','src_span'(96,39,96,55,2499,16))]),'src_span'(96,1,96,56,2461,55)).
30		'bindval'('Network_Addr','Connection_Addr','src_span'(98,1,98,31,2518,30)).
31		'agent'('hostof'('dotpat'([_h,_p])),_h,'src_span'(100,15,100,16,2564,1)).
32		'channel'('network','type'('dotTupleType'(['val_of'('Network_Addr','src_span'(102,19,102,31,2585,12)),'Network_Data']))).
33		'bindval'('MAIN','val_of'('NetworkService','src_span'(109,8,109,22,2761,14)),'src_span'(109,1,109,22,2754,21)).
34		'bindval'('NetworkService','repInterleave'(['comprehensionGenerator'('tuplePat'([_s5,_d2]),'val_of'('Connections','src_span'(112,15,112,26,2808,11)))],'|||'('agent_call'('src_span'(114,7,114,13,2834,6),'BUFFER',['int'(3),'dotTuple'(['network',_s5]),'dotTuple'(['network',_d2]),'val_of'('Network_Data_Fwd','src_span'(114,38,114,54,2865,16))]),'agent_call'('src_span'(116,7,116,13,2897,6),'BUFFER',['int'(3),'dotTuple'(['network',_d2]),'dotTuple'(['network',_s5]),'val_of'('Network_Data_Rev','src_span'(116,38,116,54,2928,16))]),'src_span_operator'('no_loc_info_available','src_span'(115,5,115,8,2887,3))),'src_span'(112,7,112,28,2800,21)),'src_span'(111,1,117,6,2777,174)).
35		'agent'('inports'(_host),'setExp'('rangeEnum'([_s6]),['comprehensionGenerator'('tuplePat'([_s6,_]),'val_of'('Connections','src_span'(128,32,128,43,3391,11))),'comprehensionGuard'('=='('agent_call'('src_span'(128,45,128,51,3404,6),'hostof',[_s6]),_host))]),'src_span'(128,18,128,61,3377,43)).
36		'agent'('outports'(_host2),'setExp'('rangeEnum'([_d3]),['comprehensionGenerator'('tuplePat'([_,_d3]),'val_of'('Connections','src_span'(130,32,130,43,3453,11))),'comprehensionGuard'('=='('agent_call'('src_span'(130,45,130,51,3466,6),'hostof',[_d3]),_host2))]),'src_span'(130,18,130,61,3439,43)).
37		'bindval'('ConImp','let'(['agent'('InPort'(_addr),'prefix'('src_span'(135,7,135,22,3524,15),['in'(_v)],'dotTuple'(['connection',_addr]),'prefix'('src_span'(136,7,136,19,3552,12),['out'('dotTuple'(['CData',_v]))],'dotTuple'(['network',_addr]),'prefix'('src_span'(137,7,137,24,3583,17),[],'dotTuple'(['network',_addr,'CAck']),'agent_call'('src_span'(137,28,137,34,3604,6),'InPort',[_addr]),'src_span'(137,25,137,27,3600,33)),'src_span'(136,28,137,6,3572,52)),'src_span'(135,25,136,6,3541,77)),'src_span'(135,7,137,40,3524,92)),'agent'('OutPort'(_addr2),'prefix'('src_span'(139,7,139,25,3643,18),['in'(_v2)],'dotTuple'(['network',_addr2,'CData']),'prefix'('src_span'(140,7,140,22,3673,15),['out'(_v2)],'dotTuple'(['connection',_addr2]),'prefix'('src_span'(141,7,141,19,3700,12),['out'('CAck')],'dotTuple'(['network',_addr2]),'agent_call'('src_span'(141,28,141,35,3721,7),'OutPort',[_addr2]),'src_span'(141,25,141,27,3717,22)),'src_span'(140,25,141,6,3690,46)),'src_span'(139,28,140,6,3663,73)),'src_span'(139,7,141,41,3643,91)),'agent'('Ports'(_host3),'|||'('repInterleave'(['comprehensionGenerator'(_s7,'agent_call'('src_span'(143,16,143,23,3768,7),'inports',[_host3]))],'agent_call'('src_span'(143,32,143,38,3784,6),'InPort',[_s7]),'src_span'(143,12,143,31,3764,19)),'repInterleave'(['comprehensionGenerator'(_d4,'agent_call'('src_span'(145,16,145,24,3820,8),'outports',[_host3]))],'agent_call'('src_span'(145,33,145,40,3837,7),'OutPort',[_d4]),'src_span'(145,12,145,32,3816,20)),'src_span_operator'('no_loc_info_available','src_span'(144,7,144,10,3801,3))),'no_loc_info_available')],'repInterleave'(['comprehensionGenerator'(_h2,'Host')],'agent_call'('src_span'(146,25,146,30,3873,5),'Ports',[_h2]),'src_span'(146,14,146,24,3862,10))),'src_span'(132,1,146,33,3484,397)).
38		'bindval'('ConnectionLayer1','agent_call'('src_span'(149,3,149,7,3904,4),'wire',['val_of'('ConImp','src_span'(149,8,149,14,3909,6)),'closure'(['network']),'val_of'('NetworkService','src_span'(149,29,149,43,3930,14))]),'src_span'(148,1,149,44,3883,62)).
39		'assertRef'('False','val_of'('ConnectionService','src_span'(151,8,151,25,3954,17)),'Failure','val_of'('ConnectionLayer1','src_span'(151,30,151,46,3976,16)),'src_span'(151,1,151,46,3947,45)).
40		'comment'('blockComment'('{-\xa\ Case study in protocol development\xa\ David Jackson, 1995\xa\ Adapted for FDR2.11, Bryan Scattergood, May 1997\xa\\xa\ Protocols are built in layers, as shown below\xa\\xa\ environment\xa\ | connection channel\xa\ Connection\xa\ | network channel\xa\ Network\xa\ | transport channel\xa\ Transport\xa\-}'),'src_position'(1,1,0,299)).
41		'comment'('lineComment'('-- We begin by declaring the compression operations we will use'),'src_position'(17,1,301,63)).
42		'comment'('lineComment'('-- and also a convenient shorthand for sharing and hiding'),'src_position'(18,1,365,57)).
43		'comment'('lineComment'('-- A buffer from \x27\in\x27\ to \x27\out\x27\ restricted to values in \x27\type\x27\'),'src_position'(22,1,457,61)).
44		'comment'('lineComment'('-- and non-deterministically holding at most \x27\n\x27\ values.'),'src_position'(23,1,519,56)).
45		'comment'('lineComment'('-- A buffer, as above, but which is allowed to drop up to (but not'),'src_position'(32,1,745,66)).
46		'comment'('lineComment'('-- including) \x27\PassRate\x27\ consecutive values.'),'src_position'(33,1,812,44)).
47		'comment'('blockComment'('{-----------------------------------------------------------------------\xa\ Specification of Connection Service\xa\ \xa\ Packets of data (type Connection_Data) are to be transmitted between hosts\xa\ according to connections defined by ports at each end.\xa\-}'),'src_position'(49,1,1242,249)).
48		'comment'('lineComment'('-- Instance data: how this particular network is wired up'),'src_position'(66,1,1684,57)).
49		'comment'('blockComment'('{-\xa\ The specification for the connection is that each\xa\ source/destination pair which are specified by Connections\xa\ show behave like a one-place buffer.\xa\-}'),'src_position'(74,1,1833,157)).
50		'comment'('blockComment'('{-----------------------------------------------------------------------\xa\ Refinement 1\xa\\xa\ Connection service implemented on top of a network service which provides\xa\ unsynchronized transmission between host.port pairs.\xa\-}'),'src_position'(86,1,2152,222)).
51		'comment'('blockComment'('{-\xa\ The specification for the network service is that it provides\xa\ reliable bidirectional communication, but may introduce buffering.\xa\-}'),'src_position'(104,1,2614,138)).
52		'comment'('blockComment'('{-\xa\ Given a network layer which is at least as good as NetworkService,\xa\ we can build a connection layer which is as good as the required\xa\ ConnectionService. We do this by masking the buffering introduced\xa\ by the network using an explicit acknowledgement. Each output\xa\ port between the connection and network layer needs to wait for the\xa\ acknowledgement inserted by the corresponding input port.\xa\-}'),'src_position'(119,1,2953,405)).
53		'comment'('lineComment'('--assert ConnectionService [R= ConnectionLayer1'),'src_position'(152,1,3993,47)).
54		'symbol'('wire','wire','src_span'(20,1,20,5,424,4),'Funktion or Process').
55		'symbol'('P','P','src_span'(20,6,20,7,429,1),'Ident (Prolog Variable)').
56		'symbol'('A','A','src_span'(20,8,20,9,431,1),'Ident (Prolog Variable)').
57		'symbol'('Q','Q','src_span'(20,10,20,11,433,1),'Ident (Prolog Variable)').
58		'symbol'('BUFFER','BUFFER','src_span'(25,1,25,7,577,6),'Funktion or Process').
59		'symbol'('n','n','src_span'(25,8,25,9,584,1),'Ident (Prolog Variable)').
60		'symbol'('in','in','src_span'(25,10,25,12,586,2),'Ident (Prolog Variable)').
61		'symbol'('out','out','src_span'(25,13,25,16,589,3),'Ident (Prolog Variable)').
62		'symbol'('type','type','src_span'(25,17,25,21,593,4),'Ident (Prolog Variable)').
63		'symbol'('B','B','src_span'(27,5,27,6,611,1),'Funktion or Process').
64		'symbol'('x','x','src_span'(27,16,27,17,622,1),'Ident (Prolog Variable)').
65		'symbol'('s','s','src_span'(28,7,28,8,645,1),'Ident (Prolog Variable)').
66		'symbol'('head','head','src_span'(28,17,28,21,655,4),'BuiltIn primitive').
67		'symbol'('tail','tail','src_span'(28,30,28,34,668,4),'BuiltIn primitive').
68		'symbol'('x2','x','src_span'(29,33,29,34,709,1),'Ident (Prolog Variable)').
69		'symbol'('FAULTY','FAULTY','src_span'(35,1,35,7,858,6),'Funktion or Process').
70		'symbol'('n2','n','src_span'(35,8,35,9,865,1),'Ident (Prolog Variable)').
71		'symbol'('in2','in','src_span'(35,10,35,12,867,2),'Ident (Prolog Variable)').
72		'symbol'('out2','out','src_span'(35,13,35,16,870,3),'Ident (Prolog Variable)').
73		'symbol'('type2','type','src_span'(35,17,35,21,874,4),'Ident (Prolog Variable)').
74		'symbol'('PassRate','PassRate','src_span'(37,5,37,13,892,8),'Ident (Groundrep.)').
75		'symbol'('B2','B','src_span'(38,5,38,6,909,1),'Funktion or Process').
76		'symbol'('since_last','since_last','src_span'(38,10,38,20,914,10),'Ident (Prolog Variable)').
77		'symbol'('x3','x','src_span'(38,27,38,28,931,1),'Ident (Prolog Variable)').
78		'symbol'('s2','s','src_span'(39,7,39,8,966,1),'Ident (Prolog Variable)').
79		'symbol'('since_last2','since_last','src_span'(39,9,39,19,968,10),'Ident (Prolog Variable)').
80		'symbol'('head','head','src_span'(39,28,39,32,987,4),'BuiltIn primitive').
81		'symbol'('tail','tail','src_span'(39,41,39,45,1000,4),'BuiltIn primitive').
82		'symbol'('x4','x','src_span'(40,44,40,45,1063,1),'Ident (Prolog Variable)').
83		'symbol'('A2','A','src_span'(41,5,41,6,1096,1),'Funktion or Process').
84		'symbol'('s3','s','src_span'(41,7,41,8,1098,1),'Ident (Prolog Variable)').
85		'symbol'('since_last3','since_last','src_span'(41,9,41,19,1100,10),'Ident (Prolog Variable)').
86		'symbol'('x5','x','src_span'(41,20,41,21,1111,1),'Ident (Prolog Variable)').
87		'symbol'('Connection_Data','Connection_Data','src_span'(56,10,56,25,1502,15),'Datatype').
88		'symbol'('bit','bit','src_span'(56,28,56,31,1520,3),'Constructor of Datatype').
89		'symbol'('Host','Host','src_span'(58,10,58,14,1540,4),'Datatype').
90		'symbol'('newton','newton','src_span'(58,17,58,23,1547,6),'Constructor of Datatype').
91		'symbol'('goedel','goedel','src_span'(58,26,58,32,1556,6),'Constructor of Datatype').
92		'symbol'('Port','Port','src_span'(60,10,60,14,1573,4),'Nametype').
93		'symbol'('Connection_Addr','Connection_Addr','src_span'(62,10,62,25,1597,15),'Nametype').
94		'symbol'('connection','connection','src_span'(64,9,64,19,1636,10),'Channel').
95		'symbol'('Connections','Connections','src_span'(68,1,68,12,1743,11),'Ident (Groundrep.)').
96		'symbol'('ConnectionService','ConnectionService','src_span'(80,1,80,18,1992,17),'Ident (Groundrep.)').
97		'symbol'('Buff','Buff','src_span'(82,5,82,9,2023,4),'Funktion or Process').
98		'symbol'('read','read','src_span'(82,10,82,14,2028,4),'Ident (Prolog Variable)').
99		'symbol'('write','write','src_span'(82,16,82,21,2034,5),'Ident (Prolog Variable)').
100		'symbol'('x6','x','src_span'(82,30,82,31,2048,1),'Ident (Prolog Variable)').
101		'symbol'('s4','s','src_span'(83,15,83,16,2096,1),'Ident (Prolog Variable)').
102		'symbol'('d','d','src_span'(83,17,83,18,2098,1),'Ident (Prolog Variable)').
103		'symbol'('Network_Data','Network_Data','src_span'(93,10,93,22,2385,12),'Datatype').
104		'symbol'('CAck','CAck','src_span'(93,25,93,29,2400,4),'Constructor of Datatype').
105		'symbol'('CData','CData','src_span'(93,32,93,37,2407,5),'Constructor of Datatype').
106		'symbol'('Network_Data_Fwd','Network_Data_Fwd','src_span'(95,1,95,17,2430,16),'Ident (Groundrep.)').
107		'symbol'('Network_Data_Rev','Network_Data_Rev','src_span'(96,1,96,17,2461,16),'Ident (Groundrep.)').
108		'symbol'('diff','diff','src_span'(96,20,96,24,2480,4),'BuiltIn primitive').
109		'symbol'('Network_Addr','Network_Addr','src_span'(98,1,98,13,2518,12),'Ident (Groundrep.)').
110		'symbol'('hostof','hostof','src_span'(100,1,100,7,2550,6),'Funktion or Process').
111		'symbol'('h','h','src_span'(100,8,100,9,2557,1),'Ident (Prolog Variable)').
112		'symbol'('p','p','src_span'(100,10,100,11,2559,1),'Ident (Prolog Variable)').
113		'symbol'('network','network','src_span'(102,9,102,16,2575,7),'Channel').
114		'symbol'('MAIN','MAIN','src_span'(109,1,109,5,2754,4),'Ident (Groundrep.)').
115		'symbol'('NetworkService','NetworkService','src_span'(111,1,111,15,2777,14),'Ident (Groundrep.)').
116		'symbol'('s5','s','src_span'(112,8,112,9,2801,1),'Ident (Prolog Variable)').
117		'symbol'('d2','d','src_span'(112,10,112,11,2803,1),'Ident (Prolog Variable)').
118		'symbol'('inports','inports','src_span'(128,1,128,8,3360,7),'Funktion or Process').
119		'symbol'('host','host','src_span'(128,9,128,13,3368,4),'Ident (Prolog Variable)').
120		'symbol'('s6','s','src_span'(128,24,128,25,3383,1),'Ident (Prolog Variable)').
121		'symbol'('outports','outports','src_span'(130,1,130,9,3422,8),'Funktion or Process').
122		'symbol'('host2','host','src_span'(130,10,130,14,3431,4),'Ident (Prolog Variable)').
123		'symbol'('d3','d','src_span'(130,26,130,27,3447,1),'Ident (Prolog Variable)').
124		'symbol'('ConImp','ConImp','src_span'(132,1,132,7,3484,6),'Ident (Groundrep.)').
125		'symbol'('InPort','InPort','src_span'(134,5,134,11,3503,6),'Funktion or Process').
126		'symbol'('addr','addr','src_span'(134,12,134,16,3510,4),'Ident (Prolog Variable)').
127		'symbol'('v','v','src_span'(135,23,135,24,3540,1),'Ident (Prolog Variable)').
128		'symbol'('OutPort','OutPort','src_span'(138,5,138,12,3621,7),'Funktion or Process').
129		'symbol'('addr2','addr','src_span'(138,13,138,17,3629,4),'Ident (Prolog Variable)').
130		'symbol'('v2','v','src_span'(139,26,139,27,3662,1),'Ident (Prolog Variable)').
131		'symbol'('Ports','Ports','src_span'(142,5,142,10,3739,5),'Funktion or Process').
132		'symbol'('host3','host','src_span'(142,11,142,15,3745,4),'Ident (Prolog Variable)').
133		'symbol'('s7','s','src_span'(143,12,143,13,3764,1),'Ident (Prolog Variable)').
134		'symbol'('d4','d','src_span'(145,12,145,13,3816,1),'Ident (Prolog Variable)').
135		'symbol'('h2','h','src_span'(146,14,146,15,3862,1),'Ident (Prolog Variable)').
136		'symbol'('ConnectionLayer1','ConnectionLayer1','src_span'(148,1,148,17,3883,16),'Ident (Groundrep.)').