Basic constraint generation is working.