New testcases for verifier