[whyever]

They could just add a test that makes sure trivial comparisons still work.

[jlebrech]

sure that would work too :)

[bialpio]

So is there no way to check the call stack and only "tweak" the result if you are being called from the verifier?

Or only return "true" on the 2nd call to the comparison?

Just some random ideas.