Implemented objectives for the Choco backend.