push (\u1 -> (\u2 -> u1 Term))
-name_1:
+<hidden>:
| catchFail
| <try>
| | push (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
| | read ('r' ==)
| | lift (\u1 -> (\u2 -> u1 u2))
-| | call name_1
+| | call <hidden>
| | lift (\u1 -> (\u2 -> u1 u2))
| | popFail
| | ret
| | ret
| <default>
| fail
-call name_1
+call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
-join_55:
+<hidden>:
| lift (\u1 -> (\u2 -> u1 u2))
| ret
catchFail
| loadInput
| push Term
| popFail
- | refJoin join_55
+ | refJoin <hidden>
<handler>
pushInput
lift Term