Returns true if the given symbol K is contained in the given substitution environment, false otherwise.