Handling contradictions in constraints. Multisort abduction.