let diff s1 s2 =
  let p' = Partition.diff s1.p s2.p
  and eqs' = Combine.E.diff s1.eqs s2.eqs in
    {s1 with p = p'; eqs = eqs'}