Lazy constraint

You cannot remove cuts from a callback. They must be globally valid.