VerifierTest.java added