sc.setInclusive(true);
sc.getFixtures().add(executionTrace);
Expectation[] assertions = new Expectation[5];
assertions[0] = new VerifyFact("c1",
ls(new VerifyField("type",
"cheddar",
"==")
));
assertions[1] = new VerifyFact("p",
ls(new VerifyField("name",
"XXX",
"=="),
new VerifyField("status",
"rule2",