Add upper bounds for constraint error correction