*/
public void testNotAnd() {
AnalyticsRule rule = new AnalyticsRule();
Pattern pattern = new Pattern();
Restriction r = new LiteralRestriction();
Restriction r2 = new LiteralRestriction();
Restriction r3 = new LiteralRestriction();
Restriction r4 = new LiteralRestriction();
OperatorDescr andDescr = OperatorDescr.valueOf(OperatorDescr.Type.AND);
Solvers solvers = new Solvers();
solvers.startRuleSolver(rule);