simplification in substitution and function evaluation

This condition is little hard to read. I would prefer ```return isNormal && (substitution.isEmpty() || isGround()) ? this : (Term) this.accept(new SubstituteAndEvaluateTransformer(substitution, context));```