doc: update ToDo
[haskell/symantic-parser.git] / test / Golden / Grammar / nandlang.opt.dump
index c840a6c4403d116447c5182bfa2194019c81b1f0..b4f6e0134ff76606ec395e2f9df25fe11a600c83 100644 (file)
@@ -4,14 +4,14 @@
 | | + <*>
 | | | + <*>
 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
-| | | | ` def name_20
+| | | | ` def <hidden>
 | | | |   ` <*>
 | | | |     + <*>
 | | | |     | + <*>
 | | | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
-| | | |     | | ` def name_7
+| | | |     | | ` def <hidden>
 | | | |     | |   ` pure Term
-| | | |     | ` def name_8
+| | | |     | ` def <hidden>
 | | | |     |   ` <|>
 | | | |     |     + <*>
 | | | |     |     | + <*>
 | | | |     |     | |   + <*>
 | | | |     |     | |   | + <*>
 | | | |     |     | |   | | + pure (\u1 -> (\u2 -> Term))
-| | | |     |     | |   | | ` def name_5
+| | | |     |     | |   | | ` def <hidden>
 | | | |     |     | |   | |   ` <*>
 | | | |     |     | |   | |     + <*>
 | | | |     |     | |   | |     | + pure (\u1 -> (\u2 -> u2))
 | | | |     |     | |   | |     | ` satisfy
-| | | |     |     | |   | |     ` ref name_7
-| | | |     |     | |   | ` def name_3
+| | | |     |     | |   | |     ` ref <hidden>
+| | | |     |     | |   | ` def <hidden>
 | | | |     |     | |   |   ` <|>
 | | | |     |     | |   |     + <*>
 | | | |     |     | |   |     | + <*>
 | | | |     |     | |   |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
-| | | |     |     | |   |     | | ` ref name_5
-| | | |     |     | |   |     | ` rec name_3
+| | | |     |     | |   |     | | ` ref <hidden>
+| | | |     |     | |   |     | ` rec <hidden>
 | | | |     |     | |   |     ` pure (\u1 -> u1)
 | | | |     |     | |   ` <*>
 | | | |     |     | |     + <*>
 | | | |     |     | |     | | | |     | + pure (\u1 -> (\u2 -> '/' : ('/' : Term)))
 | | | |     |     | |     | | | |     | ` satisfy
 | | | |     |     | |     | | | |     ` satisfy
-| | | |     |     | |     | | | ` ref name_7
-| | | |     |     | |     | | ` def name_30
+| | | |     |     | |     | | | ` ref <hidden>
+| | | |     |     | |     | | ` def <hidden>
 | | | |     |     | |     | |   ` <|>
 | | | |     |     | |     | |     + <*>
 | | | |     |     | |     | |     | + <*>
 | | | |     |     | |     | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 | | | |     |     | |     | |     | | ` satisfy
-| | | |     |     | |     | |     | ` rec name_30
+| | | |     |     | |     | |     | ` rec <hidden>
 | | | |     |     | |     | |     ` pure (\u1 -> u1)
-| | | |     |     | |     | ` ref name_7
-| | | |     |     | |     ` ref name_7
-| | | |     |     | ` rec name_8
+| | | |     |     | |     | ` ref <hidden>
+| | | |     |     | |     ` ref <hidden>
+| | | |     |     | ` rec <hidden>
 | | | |     |     ` pure (\u1 -> u1)
-| | | |     ` ref name_7
-| | | ` ref name_7
-| | ` def name_6
+| | | |     ` ref <hidden>
+| | | ` ref <hidden>
+| | ` def <hidden>
 | |   ` <|>
 | |     + <*>
 | |     | + <*>
 | |     | | | | | | | | |     |     | | | ` satisfy
 | |     | | | | | | | | |     |     | | ` satisfy
 | |     | | | | | | | | |     |     | ` satisfy
-| |     | | | | | | | | |     |     ` def name_14
+| |     | | | | | | | | |     |     ` def <hidden>
 | |     | | | | | | | | |     |       ` pure Term
-| |     | | | | | | | | |     ` def name_15
+| |     | | | | | | | | |     ` def <hidden>
 | |     | | | | | | | | |       ` negLook
 | |     | | | | | | | | |         ` satisfy
-| |     | | | | | | | | ` ref name_20
-| |     | | | | | | | ` def name_19
+| |     | | | | | | | | ` ref <hidden>
+| |     | | | | | | | ` def <hidden>
 | |     | | | | | | |   ` <*>
 | |     | | | | | | |     + <*>
 | |     | | | | | | |     | + pure (\u1 -> (\u2 -> u2))
 | |     | | | | | | |     |     | | + <*>
 | |     | | | | | | |     |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 | |     | | | | | | |     |     | | | ` satisfy
-| |     | | | | | | |     |     | | ` ref name_7
-| |     | | | | | | |     |     | ` def name_23
+| |     | | | | | | |     |     | | ` ref <hidden>
+| |     | | | | | | |     |     | ` def <hidden>
 | |     | | | | | | |     |     |   ` <|>
 | |     | | | | | | |     |     |     + <*>
 | |     | | | | | | |     |     |     | + <*>
 | |     | | | | | | |     |     |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 | |     | | | | | | |     |     |     | | ` satisfy
-| |     | | | | | | |     |     |     | ` rec name_23
+| |     | | | | | | |     |     |     | ` rec <hidden>
 | |     | | | | | | |     |     |     ` pure (\u1 -> u1)
-| |     | | | | | | |     |     ` ref name_7
-| |     | | | | | | |     ` ref name_20
-| |     | | | | | | ` def name_25
+| |     | | | | | | |     |     ` ref <hidden>
+| |     | | | | | | |     ` ref <hidden>
+| |     | | | | | | ` def <hidden>
 | |     | | | | | |   ` <*>
 | |     | | | | | |     + <*>
 | |     | | | | | |     | + pure (\u1 -> (\u2 -> '('))
 | |     | | | | | |     | ` satisfy
-| |     | | | | | |     ` ref name_20
-| |     | | | | | ` def name_21
+| |     | | | | | |     ` ref <hidden>
+| |     | | | | | ` def <hidden>
 | |     | | | | |   ` <|>
 | |     | | | | |     + <*>
 | |     | | | | |     | + <*>
 | |     | | | | |     | | + <*>
 | |     | | | | |     | | | + <*>
 | |     | | | | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
-| |     | | | | |     | | | | ` def name_12
+| |     | | | | |     | | | | ` def <hidden>
 | |     | | | | |     | | | |   ` <*>
 | |     | | | | |     | | | |     + <*>
 | |     | | | | |     | | | |     | + pure (\u1 -> (\u2 -> u2))
-| |     | | | | |     | | | |     | ` ref name_19
+| |     | | | | |     | | | |     | ` ref <hidden>
 | |     | | | | |     | | | |     ` <|>
 | |     | | | | |     | | | |       + <*>
 | |     | | | | |     | | | |       | + pure (\u1 -> Term)
-| |     | | | | |     | | | |       | ` def name_28
+| |     | | | | |     | | | |       | ` def <hidden>
 | |     | | | | |     | | | |       |   ` <*>
 | |     | | | | |     | | | |       |     + <*>
 | |     | | | | |     | | | |       |     | + <*>
 | |     | | | | |     | | | |       |     | | | | + <*>
 | |     | | | | |     | | | |       |     | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
 | |     | | | | |     | | | |       |     | | | | | ` satisfy
-| |     | | | | |     | | | |       |     | | | | ` ref name_20
-| |     | | | | |     | | | |       |     | | | ` def name_10
+| |     | | | | |     | | | |       |     | | | | ` ref <hidden>
+| |     | | | | |     | | | |       |     | | | ` def <hidden>
 | |     | | | | |     | | | |       |     | | |   ` satisfy
-| |     | | | | |     | | | |       |     | | ` def name_26
+| |     | | | | |     | | | |       |     | | ` def <hidden>
 | |     | | | | |     | | | |       |     | |   ` <|>
 | |     | | | | |     | | | |       |     | |     + <*>
 | |     | | | | |     | | | |       |     | |     | + <*>
 | |     | | | | |     | | | |       |     | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
-| |     | | | | |     | | | |       |     | |     | | ` ref name_10
-| |     | | | | |     | | | |       |     | |     | ` rec name_26
+| |     | | | | |     | | | |       |     | |     | | ` ref <hidden>
+| |     | | | | |     | | | |       |     | |     | ` rec <hidden>
 | |     | | | | |     | | | |       |     | |     ` pure (\u1 -> u1)
 | |     | | | | |     | | | |       |     | ` satisfy
-| |     | | | | |     | | | |       |     ` ref name_20
-| |     | | | | |     | | | |       ` ref name_7
-| |     | | | | |     | | | ` ref name_7
-| |     | | | | |     | | ` def name_17
+| |     | | | | |     | | | |       |     ` ref <hidden>
+| |     | | | | |     | | | |       ` ref <hidden>
+| |     | | | | |     | | | ` ref <hidden>
+| |     | | | | |     | | ` def <hidden>
 | |     | | | | |     | |   ` <|>
 | |     | | | | |     | |     + <*>
 | |     | | | | |     | |     | + <*>
 | |     | | | | |     | |     | | + <*>
 | |     | | | | |     | |     | | | + <*>
 | |     | | | | |     | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| |     | | | | |     | |     | | | | ` def name_24
+| |     | | | | |     | |     | | | | ` def <hidden>
 | |     | | | | |     | |     | | | |   ` pure (\u1 -> (\u2 -> u2))
-| |     | | | | |     | |     | | | ` def name_13
+| |     | | | | |     | |     | | | ` def <hidden>
 | |     | | | | |     | |     | | |   ` <*>
 | |     | | | | |     | |     | | |     + <*>
 | |     | | | | |     | |     | | |     | + pure (\u1 -> (\u2 -> ','))
 | |     | | | | |     | |     | | |     | ` satisfy
-| |     | | | | |     | |     | | |     ` ref name_20
-| |     | | | | |     | |     | | ` ref name_12
-| |     | | | | |     | |     | ` rec name_17
+| |     | | | | |     | |     | | |     ` ref <hidden>
+| |     | | | | |     | |     | | ` ref <hidden>
+| |     | | | | |     | |     | ` rec <hidden>
 | |     | | | | |     | |     ` pure (\u1 -> u1)
-| |     | | | | |     | ` ref name_7
-| |     | | | | |     ` ref name_7
+| |     | | | | |     | ` ref <hidden>
+| |     | | | | |     ` ref <hidden>
 | |     | | | | ` <|>
 | |     | | | |   + <*>
 | |     | | | |   | + <*>
 | |     | | | |   | | + <*>
 | |     | | | |   | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
 | |     | | | |   | | | ` satisfy
-| |     | | | |   | | ` ref name_20
-| |     | | | |   | ` ref name_21
-| |     | | | |   ` ref name_7
-| |     | | | ` def name_1
+| |     | | | |   | | ` ref <hidden>
+| |     | | | |   | ` ref <hidden>
+| |     | | | |   ` ref <hidden>
+| |     | | | ` def <hidden>
 | |     | | |   ` <*>
 | |     | | |     + <*>
 | |     | | |     | + pure (\u1 -> (\u2 -> ')'))
 | |     | | |     | ` satisfy
-| |     | | |     ` ref name_20
-| |     | | ` def name_18
+| |     | | |     ` ref <hidden>
+| |     | | ` def <hidden>
 | |     | |   ` <*>
 | |     | |     + <*>
 | |     | |     | + <*>
 | |     | |     | | | | | + <*>
 | |     | |     | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
 | |     | |     | | | | | | ` satisfy
-| |     | |     | | | | | ` ref name_20
-| |     | |     | | | | ` ref name_7
-| |     | |     | | | ` def name_2
+| |     | |     | | | | | ` ref <hidden>
+| |     | |     | | | | ` ref <hidden>
+| |     | |     | | | ` def <hidden>
 | |     | |     | | |   ` <|>
 | |     | |     | | |     + <*>
 | |     | |     | | |     | + <*>
 | |     | |     | | |     | |   | | | | |     |     | | + pure (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
 | |     | |     | | |     | |   | | | | |     |     | | ` satisfy
 | |     | |     | | |     | |   | | | | |     |     | ` satisfy
-| |     | |     | | |     | |   | | | | |     |     ` ref name_14
-| |     | |     | | |     | |   | | | | |     ` ref name_15
-| |     | |     | | |     | |   | | | | ` ref name_20
-| |     | |     | | |     | |   | | | ` def name_16
+| |     | |     | | |     | |   | | | | |     |     ` ref <hidden>
+| |     | |     | | |     | |   | | | | |     ` ref <hidden>
+| |     | |     | | |     | |   | | | | ` ref <hidden>
+| |     | |     | | |     | |   | | | ` def <hidden>
 | |     | |     | | |     | |   | | |   ` <*>
 | |     | |     | | |     | |   | | |     + <*>
 | |     | |     | | |     | |   | | |     | + <*>
 | |     | |     | | |     | |   | | |     | | + <*>
 | |     | |     | | |     | |   | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
-| |     | |     | | |     | |   | | |     | | | ` def name_22
+| |     | |     | | |     | |   | | |     | | | ` def <hidden>
 | |     | |     | | |     | |   | | |     | | |   ` <|>
 | |     | |     | | |     | |   | | |     | | |     + <*>
 | |     | |     | | |     | |   | | |     | | |     | + <*>
 | |     | |     | | |     | |   | | |     | | |     | |   ` <*>
 | |     | |     | | |     | |   | | |     | | |     | |     + pure (\u1 -> '1')
 | |     | |     | | |     | |   | | |     | | |     | |     ` satisfy
-| |     | |     | | |     | |   | | |     | | |     | ` ref name_20
+| |     | |     | | |     | |   | | |     | | |     | ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |     ` <|>
 | |     | |     | | |     | |   | | |     | | |       + <*>
 | |     | |     | | |     | |   | | |     | | |       | + <*>
 | |     | |     | | |     | |   | | |     | | |       | | |   | + <*>
 | |     | |     | | |     | |   | | |     | | |       | | |   | | + pure (\u1 -> (\u2 -> u2))
 | |     | |     | | |     | |   | | |     | | |       | | |   | | ` satisfy
-| |     | |     | | |     | |   | | |     | | |       | | |   | ` ref name_7
+| |     | |     | | |     | |   | | |     | | |       | | |   | ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |       | | |   ` <*>
 | |     | |     | | |     | |   | | |     | | |       | | |     + <*>
 | |     | |     | | |     | |   | | |     | | |       | | |     | + <*>
 | |     | |     | | |     | |   | | |     | | |       | | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
 | |     | |     | | |     | |   | | |     | | |       | | |     | | ` satisfy
 | |     | |     | | |     | |   | | |     | | |       | | |     | ` satisfy
-| |     | |     | | |     | |   | | |     | | |       | | |     ` ref name_7
+| |     | |     | | |     | |   | | |     | | |       | | |     ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |       | | ` satisfy
-| |     | |     | | |     | |   | | |     | | |       | ` ref name_20
+| |     | |     | | |     | |   | | |     | | |       | ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |       ` <*>
 | |     | |     | | |     | |   | | |     | | |         + <*>
 | |     | |     | | |     | |   | | |     | | |         | + pure (\u1 -> (\u2 -> u2))
-| |     | |     | | |     | |   | | |     | | |         | ` ref name_19
+| |     | |     | | |     | |   | | |     | | |         | ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |         ` <|>
 | |     | |     | | |     | |   | | |     | | |           + <*>
 | |     | |     | | |     | |   | | |     | | |           | + pure (\u1 -> Term)
 | |     | |     | | |     | |   | | |     | | |           |   | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | | | + pure (\u1 -> (\u2 -> (\u3 -> u2)))
-| |     | |     | | |     | |   | | |     | | |           |   | | | ` ref name_25
+| |     | |     | | |     | |   | | |     | | |           |   | | | ` ref <hidden>
 | |     | |     | | |     | |   | | |     | | |           |   | | ` <|>
 | |     | |     | | |     | |   | | |     | | |           |   | |   + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
-| |     | |     | | |     | |   | | |     | | |           |   | |   | | | | ` rec name_16
-| |     | |     | | |     | |   | | |     | | |           |   | |   | | | ` ref name_7
-| |     | |     | | |     | |   | | |     | | |           |   | |   | | ` def name_27
+| |     | |     | | |     | |   | | |     | | |           |   | |   | | | | ` rec <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   | | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   | | ` def <hidden>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |   ` <|>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | + <*>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | ` ref name_24
-| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | ` ref name_13
-| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | ` rec name_16
-| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | ` rec name_27
+| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | ` rec <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   | |     | ` rec <hidden>
 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     ` pure (\u1 -> u1)
-| |     | |     | | |     | |   | | |     | | |           |   | |   | ` ref name_7
-| |     | |     | | |     | |   | | |     | | |           |   | |   ` ref name_7
-| |     | |     | | |     | |   | | |     | | |           |   | ` ref name_1
-| |     | |     | | |     | |   | | |     | | |           |   ` ref name_28
-| |     | |     | | |     | |   | | |     | | |           ` ref name_7
-| |     | |     | | |     | |   | | |     | | ` ref name_7
-| |     | |     | | |     | |   | | |     | ` def name_4
+| |     | |     | | |     | |   | | |     | | |           |   | |   | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | |   ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           |   ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | |           ` ref <hidden>
+| |     | |     | | |     | |   | | |     | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     | ` def <hidden>
 | |     | |     | | |     | |   | | |     |   ` <|>
 | |     | |     | | |     | |   | | |     |     + <*>
 | |     | |     | | |     | |   | | |     |     | + <*>
 | |     | |     | | |     | |   | | |     |     | | | + <*>
 | |     | |     | | |     | |   | | |     |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
 | |     | |     | | |     | |   | | |     |     | | | | ` satisfy
-| |     | |     | | |     | |   | | |     |     | | | ` ref name_20
-| |     | |     | | |     | |   | | |     |     | | ` ref name_22
-| |     | |     | | |     | |   | | |     |     | ` rec name_4
+| |     | |     | | |     | |   | | |     |     | | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     |     | | ` ref <hidden>
+| |     | |     | | |     | |   | | |     |     | ` rec <hidden>
 | |     | |     | | |     | |   | | |     |     ` pure (\u1 -> u1)
-| |     | |     | | |     | |   | | |     ` ref name_7
-| |     | |     | | |     | |   | | ` rec name_18
+| |     | |     | | |     | |   | | |     ` ref <hidden>
+| |     | |     | | |     | |   | | ` rec <hidden>
 | |     | |     | | |     | |   | ` <|>
 | |     | |     | | |     | |   |   + <*>
 | |     | |     | | |     | |   |   | + <*>
 | |     | |     | | |     | |   |   | | |     |     | | | ` satisfy
 | |     | |     | | |     | |   |   | | |     |     | | ` satisfy
 | |     | |     | | |     | |   |   | | |     |     | ` satisfy
-| |     | |     | | |     | |   |   | | |     |     ` ref name_14
-| |     | |     | | |     | |   |   | | |     ` ref name_15
-| |     | |     | | |     | |   |   | | ` ref name_20
-| |     | |     | | |     | |   |   | ` rec name_18
-| |     | |     | | |     | |   |   ` ref name_7
+| |     | |     | | |     | |   |   | | |     |     ` ref <hidden>
+| |     | |     | | |     | |   |   | | |     ` ref <hidden>
+| |     | |     | | |     | |   |   | | ` ref <hidden>
+| |     | |     | | |     | |   |   | ` rec <hidden>
+| |     | |     | | |     | |   |   ` ref <hidden>
 | |     | |     | | |     | |   ` <|>
 | |     | |     | | |     | |     + <*>
 | |     | |     | | |     | |     | + <*>
 | |     | |     | | |     | |     | | | |     |     | | | ` satisfy
 | |     | |     | | |     | |     | | | |     |     | | ` satisfy
 | |     | |     | | |     | |     | | | |     |     | ` satisfy
-| |     | |     | | |     | |     | | | |     |     ` ref name_14
-| |     | |     | | |     | |     | | | |     ` ref name_15
-| |     | |     | | |     | |     | | | ` ref name_20
-| |     | |     | | |     | |     | | ` ref name_16
-| |     | |     | | |     | |     | ` rec name_18
+| |     | |     | | |     | |     | | | |     |     ` ref <hidden>
+| |     | |     | | |     | |     | | | |     ` ref <hidden>
+| |     | |     | | |     | |     | | | ` ref <hidden>
+| |     | |     | | |     | |     | | ` ref <hidden>
+| |     | |     | | |     | |     | ` rec <hidden>
 | |     | |     | | |     | |     ` <|>
 | |     | |     | | |     | |       + try
 | |     | |     | | |     | |       | ` <*>
 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | | ` satisfy
 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | ` satisfy
 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | ` satisfy
-| |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     ` ref name_14
-| |     | |     | | |     | |       |   | | | | | | | | | | |   | |     ` ref name_15
-| |     | |     | | |     | |       |   | | | | | | | | | | |   | ` ref name_20
-| |     | |     | | |     | |       |   | | | | | | | | | | |   ` ref name_7
-| |     | |     | | |     | |       |   | | | | | | | | | | ` ref name_12
-| |     | |     | | |     | |       |   | | | | | | | | | ` ref name_7
-| |     | |     | | |     | |       |   | | | | | | | | ` def name_9
+| |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | | | |   | |     ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | | | |   | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | | | |   ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | | ` def <hidden>
 | |     | |     | | |     | |       |   | | | | | | | |   ` <|>
 | |     | |     | | |     | |       |   | | | | | | | |     + <*>
 | |     | |     | | |     | |       |   | | | | | | | |     | + <*>
 | |     | |     | | |     | |       |   | | | | | | | |     | | + <*>
 | |     | |     | | |     | |       |   | | | | | | | |     | | | + <*>
 | |     | |     | | |     | |       |   | | | | | | | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| |     | |     | | |     | |       |   | | | | | | | |     | | | | ` ref name_24
-| |     | |     | | |     | |       |   | | | | | | | |     | | | ` ref name_13
-| |     | |     | | |     | |       |   | | | | | | | |     | | ` ref name_12
-| |     | |     | | |     | |       |   | | | | | | | |     | ` rec name_9
+| |     | |     | | |     | |       |   | | | | | | | |     | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | |     | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | |     | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | | | | |     | ` rec <hidden>
 | |     | |     | | |     | |       |   | | | | | | | |     ` pure (\u1 -> u1)
-| |     | |     | | |     | |       |   | | | | | | | ` ref name_7
+| |     | |     | | |     | |       |   | | | | | | | ` ref <hidden>
 | |     | |     | | |     | |       |   | | | | | | ` satisfy
-| |     | |     | | |     | |       |   | | | | | ` ref name_20
-| |     | |     | | |     | |       |   | | | | ` ref name_16
-| |     | |     | | |     | |       |   | | | ` ref name_7
-| |     | |     | | |     | |       |   | | ` def name_11
+| |     | |     | | |     | |       |   | | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | | ` def <hidden>
 | |     | |     | | |     | |       |   | |   ` <|>
 | |     | |     | | |     | |       |   | |     + <*>
 | |     | |     | | |     | |       |   | |     | + <*>
 | |     | |     | | |     | |       |   | |     | | + <*>
 | |     | |     | | |     | |       |   | |     | | | + <*>
 | |     | |     | | |     | |       |   | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| |     | |     | | |     | |       |   | |     | | | | ` ref name_24
-| |     | |     | | |     | |       |   | |     | | | ` ref name_13
-| |     | |     | | |     | |       |   | |     | | ` ref name_16
-| |     | |     | | |     | |       |   | |     | ` rec name_11
+| |     | |     | | |     | |       |   | |     | | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | |     | | | ` ref <hidden>
+| |     | |     | | |     | |       |   | |     | | ` ref <hidden>
+| |     | |     | | |     | |       |   | |     | ` rec <hidden>
 | |     | |     | | |     | |       |   | |     ` pure (\u1 -> u1)
-| |     | |     | | |     | |       |   | ` ref name_7
-| |     | |     | | |     | |       |   ` def name_29
+| |     | |     | | |     | |       |   | ` ref <hidden>
+| |     | |     | | |     | |       |   ` def <hidden>
 | |     | |     | | |     | |       |     ` <*>
 | |     | |     | | |     | |       |       + <*>
 | |     | |     | | |     | |       |       | + pure (\u1 -> (\u2 -> ';'))
 | |     | |     | | |     | |       |       | ` satisfy
-| |     | |     | | |     | |       |       ` ref name_20
+| |     | |     | | |     | |       |       ` ref <hidden>
 | |     | |     | | |     | |       ` <*>
 | |     | |     | | |     | |         + <*>
 | |     | |     | | |     | |         | + pure (\u1 -> (\u2 -> u1))
-| |     | |     | | |     | |         | ` ref name_16
-| |     | |     | | |     | |         ` ref name_29
-| |     | |     | | |     | ` rec name_2
+| |     | |     | | |     | |         | ` ref <hidden>
+| |     | |     | | |     | |         ` ref <hidden>
+| |     | |     | | |     | ` rec <hidden>
 | |     | |     | | |     ` pure (\u1 -> u1)
-| |     | |     | | ` ref name_7
+| |     | |     | | ` ref <hidden>
 | |     | |     | ` satisfy
-| |     | |     ` ref name_20
-| |     | ` rec name_6
+| |     | |     ` ref <hidden>
+| |     | ` rec <hidden>
 | |     ` pure (\u1 -> u1)
-| ` ref name_7
+| ` ref <hidden>
 ` eof