Fixed a problem that didn't permit to the SelectionMapper to see at the
right time that a solution has already been found.