top_command (cmd_load currentFile [])
goal_command 0 (cmd_goal_type_context_infer Normalised) "a"
goal_command 0 cmd_give "a"
goal_command 1 (cmd_goal_type_context_infer Normalised) "b"
goal_command 1 cmd_give "b"
goal_command 2 (cmd_goal_type_context_infer Normalised) "c'"
goal_command 2 cmd_give "c'"

