Eliminazione della doppia sentenza conforme