anchor.diff:              react_to_env_C300(P_newprop, P_latest, S);
   
           true ->
  +?D({a40,?LINE}),
               {{no_change, P_latest#projection.epoch_number}, S}
       end.
   
  
positive.code:         P_latest#projection.epoch_number < P_current#projection.epoch_number
          orelse
          P_latest /= P_current ->
  
              %% Both of these cases are rare.  Elsewhere, the code
              %% assumes that the local FLU's projection store is always
  
negative.code: 
          %% A40a (see flowchart)
          Rank_newprop > Rank_latest ->
  ?D({a40,?LINE}),
              react_to_env_C300(P_newprop, P_latest, S);
  
          %% A40b (see flowchart)
  