public Object visitVariable(Variable variable, Object arg)
{
if (null != (substitution = abstractModulation.unifier.unify(toMatch, variable)))
{
if (abstractModulation.isValidMatch(toMatch, toMatchVariables, variable,
substitution))
{
matchingTerm = variable;
}
}
return variable;
}