<*>
+ <*>
| + <*>
| | + <*>
| | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
| | | ` def name_3
| | |   ` pure Term
| | ` def name_2
| |   ` <|>
| |     + <*>
| |     | + <*>
| |     | | + <*>
| |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
| |     | | | ` def name_7
| |     | | |   ` pure (\u1 -> (\u2 -> u2))
| |     | | ` satisfy
| |     | ` rec name_2
| |     ` pure (\u1 -> u1)
| ` ref name_3
` def name_5
  ` <*>
    + pure (\u1 -> u1 Term)
    ` def name_4
      ` <|>
        + <*>
        | + <*>
        | | + <*>
        | | | + <*>
        | | | | + conditional
        | | | | | + look
        | | | | | | ` satisfy
        | | | | | + bs
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | + <*>
        | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term : u5 u6))))))
        | | | | | | | ` satisfy
        | | | | | | ` <*>
        | | | | | |   + <*>
        | | | | | |   | + <*>
        | | | | | |   | | + <*>
        | | | | | |   | | | + <*>
        | | | | | |   | | | | + <*>
        | | | | | |   | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> Term u5 : u10 u11)))))))))))
        | | | | | |   | | | | | ` satisfy
        | | | | | |   | | | | ` ref name_3
        | | | | | |   | | | ` def name_6
        | | | | | |   | | |   ` <|>
        | | | | | |   | | |     + <*>
        | | | | | |   | | |     | + <*>
        | | | | | |   | | |     | | + <*>
        | | | | | |   | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
        | | | | | |   | | |     | | | ` ref name_7
        | | | | | |   | | |     | | ` satisfy
        | | | | | |   | | |     | ` rec name_6
        | | | | | |   | | |     ` pure (\u1 -> u1)
        | | | | | |   | | ` ref name_3
        | | | | | |   | ` rec name_5
        | | | | | |   ` satisfy
        | | | | | ` empty
        | | | | ` ref name_3
        | | | ` def name_1
        | | |   ` <|>
        | | |     + <*>
        | | |     | + <*>
        | | |     | | + <*>
        | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
        | | |     | | | ` ref name_7
        | | |     | | ` satisfy
        | | |     | ` rec name_1
        | | |     ` pure (\u1 -> u1)
        | | ` ref name_3
        | ` rec name_4
        ` pure (\u1 -> u1)