Revert "Patch : if the conclusions are not mendarory, the update of the conclusions dont have to assert" This reverts commit 4ce9a65f.
