Put message in the right place.
Update gecode.
Fix a bug in setting val_branch.
Fix warning.
Fix warning.