Batch verification and k-bound

[Jiri Srba]

Open workflow-medical.tapn - select both queries and click on Verify. The batch verification
ends with an error saying the the number of tokens passed to the engine via the k-bound is less
than the number of tokens in the initial marking. When the verification is run from the query dialog,
all is fine and the correct number of tokens is passed.

Probably the same error is also in workflow-complaint.tapn. Select all queries and press "verify"
to run batch verification. The first query answer is yellow, because the GUI didn't pass the correct
number of tokens to the engine (but it works correctly through query dialog where the answer green (satisfied).