Add test case for builtin constraints