sc.fixtures.add(new FactData("B", "B", new ArrayList(), true));
sc.fixtures.add(new FactData("C", "C", new ArrayList(), true));
ExecutionTrace ex1 = new ExecutionTrace();
sc.fixtures.add(ex1);
sc.fixtures.add(new VerifyFact());
sc.fixtures.add(new RetractFact());
sc.fixtures.add(new FactData("D", "D", new ArrayList(), false));
sc.fixtures.add(new FactData("E", "E", new ArrayList(), false));
ExecutionTrace ex2 = new ExecutionTrace();
sc.fixtures.add(ex2);
sc.fixtures.add(new VerifyFact());