TAR wrong GUI reporting

[Jiri Srba]

Open referendum-colored (untimed) and verify the second query "tie vote".
It returns true. Now turn on TAR (trace abstraction refinement) in advanced
query dialog. Verify again and it returns true but writes "The query was resolved
using state equations" which is wrong but it should instead write "The query
was resolved using trace abstraction refinement."

[Jiri Srba (srba)]

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).

[Kenneth Yrke Jørgensen (yrke)]

It seems the way it check for "solved using state equation" is by looking at

<code>
boolean approximationResult = queryResult.value2().discoveredStates() == 0;
</code>

I'm guessing this also true for TAR check's.
It's also the same boolean used to mark if we did an untimed overapprox.

[Kenneth Yrke Jørgensen (yrke)]

This should be fixed when merging https://code.launchpad.net/~tapaal-contributor/tapaal/cpn-solvedBy/+merge/415019