Hard constraint checking update