Fixed another bug in AbstractRuleKernel.