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