Method Term.dropIndependentParameters: If this Term is a FunctionTerm,
takes out every parameter which is independent from the body. If not,
returns the same object unchanged.
Bug fix: when finding an impure candidate match, we were basing the
search on the term's consequent, which could contain references to the
parameter as free variables and cause errors.