0:	IterSymbolEClasses rc0, F (sym[0]), @41
1:	Jump @3
2:	NextSymbolEClass rc0, @41
3:	IterENodes rn0, rc0
4:	Jump @6
5:	NextENode rn0, @2
6:	CheckSymbol rn0, F (sym[0]), @5
7:	CheckArity rn0, 2, @5
8:	LoadChild rc1, rn0, 0
9:	BindSlot slot[0], rc1, @5
10:	LoadChild rc2, rn0, 1
11:	BindSlot slot[1], rc2, @5
12:	IterParents rn1, rc2, @5
13:	Jump @15
14:	NextParent rn1, @5
15:	CheckSymbol rn1, G (sym[1]), @14
16:	CheckArity rn1, 2, @14
17:	LoadChild rc3, rn1, 0
18:	CheckEClassEq rc3, rc2, @14
19:	LoadChild rc4, rn1, 1
20:	BindSlot slot[2], rc4, @14
21:	IterParents rn2, rc4, @14
22:	Jump @24
23:	NextParent rn2, @14
24:	CheckSymbol rn2, H (sym[2]), @23
25:	CheckArity rn2, 2, @23
26:	LoadChild rc5, rn2, 0
27:	CheckEClassEq rc5, rc4, @23
28:	LoadChild rc6, rn2, 1
29:	BindSlot slot[3], rc6, @23
30:	IterParents rn3, rc6, @23
31:	Jump @33
32:	NextParent rn3, @23
33:	CheckSymbol rn3, F2 (sym[3]), @32
34:	CheckArity rn3, 2, @32
35:	LoadChild rc7, rn3, 0
36:	CheckEClassEq rc7, rc6, @32
37:	LoadChild rc8, rn3, 1
38:	BindSlot slot[4], rc8, @32
39:	Yield (mark slot[4])
40:	Jump @32
41:	Halt

