Fixed = elim in verifier. Added tests.