0:	IterSymbolEClasses rc0, F (sym[0]), @29
1:	Jump @3
2:	NextSymbolEClass rc0, @29
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, H (sym[1]), @14
16:	CheckArity rn1, 1, @14
17:	GetENodeEClass rc3, rn1
18:	IterParents rn2, rc3, @14
19:	Jump @21
20:	NextParent rn2, @14
21:	CheckSymbol rn2, G (sym[2]), @20
22:	CheckArity rn2, 2, @20
23:	LoadChild rc4, rn2, 1
24:	CheckEClassEq rc4, rc3, @20
25:	LoadChild rc5, rn2, 0
26:	CheckSlot slot[0], rc5, @20
27:	Yield (mark slot[1])
28:	Jump @5
29:	Halt

