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