Debugging commitments