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_);
	}
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()
@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 } .