sc.getFixtures().add(new VerifyFact("c1",
ls(new VerifyField("type",
"XXX",
"=="))));
sc.getFixtures().add(new RetractFact("c2"));
sc.getFixtures().add(new ExecutionTrace());
sc.getFixtures().add(new VerifyFact("c1",
ls(new VerifyField("type",
"rule4",