Comment 2 for bug 1958791

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.