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

In order to make this work, before the untimed game net is sent to verifydtapn engine
there should be added new isolated place, with one token in it and age invariant <=0.
Then the timed engine will be able to mimick the untimed game semantics.