top_command (cmd_load currentFile [])
top_command (cmd_compute_toplevel DefaultCompute "test")
top_command (cmd_compute_toplevel DefaultCompute "Test")
top_command (cmd_compute_toplevel DefaultCompute "ptest")
top_command (cmd_compute_toplevel DefaultCompute "PM.inside")
top_command (cmd_compute_toplevel DefaultCompute "MM.extlam")
top_command (cmd_compute_toplevel DefaultCompute "opentest")
top_command (cmd_compute_toplevel DefaultCompute "Parent.Child.extlam2")
goal_command 1 (cmd_compute DefaultCompute) "inside"
goal_command 1 (cmd_compute DefaultCompute) "inside a"
top_command (cmd_compute_toplevel DefaultCompute "f")
