Constraint Programming Contribution to Benders Decomposition: A Case Study