Animals MAI scenario: remove SLFs that always evaluate true