for (Var var : substitution.getVariables()) { if (get(var) == null) { Term term = substitution.get(var).applySubst(substitution);
for (Var var : substitution.getVariables()) { if (get(var) == null) { Term term = substitution.get(var).applySubst(substitution);