Bugfixes (constraint gen)