Add constraint checks counting