untimed query in CTL dialog after manual edit

[Jiri Srba]

Make a simple EF P1=1 query in the CTL dialog.

Traces are allowed as expected.

Add "and false" so that the query looks like

(EF P1=1) and false

Now traces are not allowed as expected.

Now go to the manual edit, remove "and false" and parse the query.
Now traces are still not allowed, as the dialog things the query
is not a pure reachability query. But traces should be allowed again.