executionTrace.numberOfRulesFired = listener.totalFires;
executionTrace.rulesFired = listener.getRulesFiredSummary();
} else if (fx instanceof Expectation) {
Expectation assertion = (Expectation) fx;
if (assertion instanceof VerifyFact) {
verify((VerifyFact) assertion);
} else if (assertion instanceof VerifyRuleFired) {
verify((VerifyRuleFired) assertion,
(listener.firingCounts != null) ? listener.firingCounts : new HashMap<String, Integer>());