message: Fix to tests in comments
diff: @@ -244,7 +244,6 @@ where
  /** The [equivalence_classes] field keeps track of the positions which must be
  enforced to be equivalent due to the fact that they correspond to the same V.t value.
  I.e., positions that are different usages of the same [V.t].
  -
  We use a union-find data structure to track equalities that a constraint system wants
  enforced *between* [V.t] values. Then, at the end, for all [V.t]s that have been unioned
  together, we combine their equivalence classes in the [equivalence_classes] table into
  