Use of specialCases in constraints checking