WYCS: constraint inline is now starting to work ...