adding a rule factory for global tracing (i.e. storing all produced
inferences even if their conclusions have been produced before).
easy switching between applying redundant and non-redundant rules
(basically using the right rule application conclusion visitor depending
on config constants)