2 AbsBinds [tt0] [] [(x.t1, ShouldSucceed.x)]
6 AbsBinds [tt4, tt5] [] [(a.t3, ShouldSucceed.a)]
9 a.t3 = (ShouldSucceed.x tt4, ShouldSucceed.x tt5)
10 AbsBinds [ot8, tt9, tt10] [] [(f.t7, ShouldSucceed.f)]
12 f.t7 :: ot8 -> (tt9, tt10)
13 f.t7 x.r56 = ShouldSucceed.a [tt9, tt10]