Update gecode interface.
ReadNumericConstant -> ReadConstant (can be logical).