Code review comment for lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

I create a simple net for untimed and game lens, ask a simple AF query and the verification ends with error in query parsing. When I save the file and open again, the GUI hals and becomes unresponsive.