Constraint Handling In Rv-Gomea