Hard constraints checking modification