Add a note in the simplifier about in-scope set as a substitution