Raw options compute wrong k-bound

[Jiri Srba]

Open the Workflow-complaint example.
Open the strong soundness query and verify. The answer is false as expected.
Then open the strong soundness query again, click on "Use" and verify. The answer is now true (wrong answer).

The problem is that the GUI passes to the engine "-k 2" if you click on "Use" which is wrong, it should pass there "-k 3" which it does correctly when run without "Use". There are two tokens in the net plus one extra token, hence the -k should be 3.