let same_ff_call (f1,c1) (f2,c2) =
  equal_ff f1 f2 && same_call c1 c2