- | B.GRef (_, u1), None, B.GRef (_, u2), None ->
- if U.eq u1 u2 & assert_iterations m1 m2 then ac_stacks st m1 m2 else false
- | B.GRef (a1, u1), Some v1, B.GRef (a2, u2), Some v2 ->
- let e1 = E.apix C.err C.start a1 in
- let e2 = E.apix C.err C.start a2 in
- if e1 < e2 then begin
- if st.S.tc then O.add ~gdelta:1 ();
+ | B.GRef (_, u1), None, B.GRef (_, u2), None ->
+ if U.eq u1 u2 && assert_iterations m1 m2 then ac_stacks st m1 m2 else false
+ | B.GRef ({E.n_apix = e1}, u1), Some v1,
+ B.GRef ({E.n_apix = e2}, u2), Some v2 ->
+ if U.eq u1 u2 && assert_iterations m1 m2 && ac_stacks st m1 m2 then true
+ else if e1 < e2 then begin
+IFDEF SUMMARY THEN
+ if !G.summary then O.add ~gdelta:1 ()
+ELSE () END;