top_command (cmd_load currentFile [])
goal_command 0 (cmd_refine_or_intro False) "φ"
goal_command 2 (cmd_refine_or_intro False) ""
goal_command 3 (cmd_refine_or_intro False) "s"
goal_command 4 (cmd_refine_or_intro False) ""
goal_command 5 (cmd_refine_or_intro False) ""
goal_command 6 (cmd_refine_or_intro False) "k x"
goal_command 7 (cmd_refine_or_intro False) "rec"
goal_command 8 (cmd_refine_or_intro False) "φ"
goal_command 9 (cmd_refine_or_intro False) "k"
goal_command 10 (cmd_refine_or_intro False) "x"
goal_command 1 (cmd_refine_or_intro False) ""
goal_command 11 (cmd_refine_or_intro False) ""
goal_command 12 (cmd_refine_or_intro False) ""
goal_command 15 (cmd_refine_or_intro False) ""
goal_command 16 (cmd_refine_or_intro False) ""

