Fix issue #1: All constraints are now code-genned.