WYCS: bug fix for constraint inline.