anchor.diff:              %% The author of P_latest is too slow or crashed.
               %% Let's try to write P_newprop and see what happens!
               react_to_env_C300(P_newprop, P_latest, S);
  +
  +        S#ch_mgr.flaps > 5
  +        andalso
  +        Rank_latest >= Rank_newprop ->
  +            io:format(user, "{FLAP: ~w flaps ~w, goto C200}!", [S#ch_mgr.name, S#ch_mgr.flaps]),
  +            react_to_env_C200(Retries, P_latest, S);
   
           Rank_latest >= Rank_newprop
           andalso
  
positive.code:     ?REACT({c310,_Res}),
      
      react_to_env_A10(S2).
  
  projection_transitions_are_sane(Ps, RelativeToServer) ->
      projection_transitions_are_sane(Ps, RelativeToServer, false).
  
negative.code:     end.
  
  react_to_env_B10(Retries, P_newprop, P_latest, LatestUnanimousP,
                   Rank_newprop, Rank_latest, #ch_mgr{name=MyName}=S0) ->
      ?REACT(b10),
  
      S = calculate_flaps(P_newprop, S0),
      if
          LatestUnanimousP ->
              ?REACT({b10, ?LINE}),
  