elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/RuleVisitors.java
public static <O> RuleVisitor<O> getTracingVisitor(RuleVisitor<O> visitor) {
		return new ConditionalRuleVisitor<O>(visitor, LOCALITY_CHECKER_);
	}
public static <O> RuleVisitor<O> getTracingVisitor(RuleVisitor<O> visitor) {
		return new ConditionalRuleVisitor<O>(visitor, LOCALITY_CHECKER_);
	}
@param visitor
@return A {@link RuleVisitor} that delegates the calls to the provided
{@link RuleVisitor} when for the {@link Rule} which accepts this
visitor, {@link Rule#isTracingRule()} returns {@code true}. Otherwise
the {@link RuleVisitor} returns {@code null}.

@see Rule#isTracingRule()