The equivalence the result is proved up to: sv.equivalent(...) in
sv.equivalent(...)
Report.equivalence: Observation
ensures, or rows as a multiset with exact values (observation).
ensures
observation