let update e s =
  let (x, a, rho) = Fact.d_equal e in
    Map.add x (a, rho) s