Revert changes of commit 4e1135fb315eab7 over file "plugins/micromega/sos.ml",
as "||" is actually redefined in "plugins/micromega/sos_lib.ml".