* r3 && r4
*/
@Test
public void testNotAnd() {
PackageDescr descr = new PackageDescr("testPackage");
RulePackage rulePackage = new RulePackage(descr);
rulePackage.setName( "testPackage" );
VerifierRule rule = new VerifierRule(descr, rulePackage );
rule.setName( "testRule" );
Pattern pattern = new Pattern(new PatternDescr(), rule );