top_command (cmd_load currentFile [])
IOTCM currentFile None Indirect (Cmd_refine 0 (Range [Interval (Pn Nothing 20 2 7)  (Pn Nothing 27 2 14)]) "λ x → x")
