cpsa-3.3.0: ghci
:set -isrc:dist/build/autogen :set -fbreak-on-error :set args tst/dh_mim.scm -- ghci src/CPSA/Lib/Main.hs -- :trace main
:set -isrc:dist/build/autogen :set -fbreak-on-error :set args tst/dh_mim.scm -- ghci src/CPSA/Lib/Main.hs -- :trace main