Comment 1 for bug 1958791

The same problem is in ERK (untime, nongame CPN model). Verify the property using "siphon-trap" option which kicks in but it instead of siphon-trap returns that it was the state-equations that solved the query. Here the problem is that the GUI does not really print the reason why the query was solved (it only does so in the MCC keywords but we should not rely on this information).