Agda-2.3.2.2: test/interaction/Issue620.in
top_command (cmd_load currentFile []) -- Should be 'X A.+ X * X' top_command (cmd_compute_toplevel False "2X")
top_command (cmd_load currentFile []) -- Should be 'X A.+ X * X' top_command (cmd_compute_toplevel False "2X")