let eq (s, i) (t, j) =
  assert(if s == t then s = t else not(s = t));
  (s == t)