unit test now calls the verifier to check the assertion