WYCS: bug fix for constraint inline and quantification.