WyCS: bug fix for name clashes between quantified variables. #373