ch15 Debugging Constraints