VerifierRule rule = new VerifierRule(descr, rulePackage );
rule.setName( "testRule" );
Pattern pattern = new Pattern(new PatternDescr(), rule );
Restriction r = LiteralRestriction.createRestriction( pattern,
"" );
Restriction r2 = LiteralRestriction.createRestriction( pattern,
"" );
Restriction r3 = LiteralRestriction.createRestriction( pattern,
"" );
Restriction r4 = LiteralRestriction.createRestriction( pattern,
"" );
Solvers solvers = new Solvers();
solvers.startRuleSolver( rule );