Agda-2.3.2.2: test/interaction/Issue271.in
top_command (cmd_load currentFile []) -- The output should not contain superfluous outer parentheses. goal_command 0 (cmd_goal_type_context Normalised) ""
top_command (cmd_load currentFile []) -- The output should not contain superfluous outer parentheses. goal_command 0 (cmd_goal_type_context Normalised) ""