:load expl/Examples.hs
:set +accum
:set +simplify
:generalise rocket
:test rocket on "rocket [O1, O2, O3] START"
:quit
