top_command    (cmd_load currentFile [])

-- Should be 'x'
top_command (cmd_compute_toplevel DefaultCompute "x")

-- Should be 'd'
top_command (cmd_compute_toplevel IgnoreAbstract "x")

-- Should be 'x'
goal_command 0 (cmd_compute DefaultCompute) "x"

-- Should be 'd'
goal_command 0 (cmd_compute IgnoreAbstract) "x"

