private static void collectAllVariables(Sentence s, List<Variable> vars) { s.accept(_collectAllVariables, vars); } }