:load expl/Examples.hs
:set +accum
:set +simplify
:generalise flatten
:test flatten on "flatten (Node 1 (Node 2 (Node 3 (Node 4 NilT NilT) (Node 5 NilT NilT)) (Node 6 (Node 7 NilT NilT) (Node 8 NilT NilT))) (Node 9 (Node 10 (Node 11 NilT NilT) (Node 12 NilT NilT)) (Node 13 (Node 14 NilT NilT) (Node 15 NilT NilT))))"
:quit
