@Test(expected = VerificationException.class)
public void testCompilationUnit1B() throws Exception {
Verifier verifier = new VerifyAll();
Collection<CompilationUnit> cus = readCUSFromCP("rules4.rel");
verifier.verify(cus, new DefaultVerificationErrorReporter());
}
@Test(expected = VerificationException.class)
public void testCompilationUnit1A() throws Exception {
Verifier verifier = new CheckUniqueNamesInObjectDeclarations();
Collection<CompilationUnit> cus = readCUSFromCP("rules4.rel");
verifier.verify(cus, new DefaultVerificationErrorReporter());
}