public static <O> RuleVisitor<O> getTimedVisitor(RuleVisitor<O> visitor,
			RuleApplicationTimer timer) {
		return new RuleApplicationTimerVisitor<O>(visitor, timer);
	}
public static < O > RuleVisitor < O > getTimedVisitor ( RuleVisitor < O > visitor , RuleApplicationTimer timer ) { return new RuleApplicationTimerVisitor < O > ( visitor , timer ) ; }
@param visitor
the {@link SubsumerDecompositionVisitor} used to execute the
methods
@param timer
the {@link RuleApplicationTimer} used to mesure the time spent
within the methods

@return a new {@link SubsumerDecompositionVisitor} that executes the
corresponding methods of the given
{@link SubsumerDecompositionVisitor} and measures the time spent
within the corresponding methods using the given
{@link RuleApplicationTimer}.