top_command (cmd_load currentFile [])

-- Should be "Set → Set".
top_command (cmd_infer_toplevel Normalised "F")

-- Should be "F A".
top_command (cmd_compute_toplevel False "F A")
