Clean the gecode interface.
Remove obsolete TODO.