Also, consider SAVer as complete wrt "correct" predicate, which does not take
into account a perturbation anymore. Correctness is wrt the expected label only.