A Framework for Assertion-Based Debugging in Constraint Logic Programming