anchor.diff:  
   -spec handle_info(term(),state()) ->
                            {noreply,state()} |
  -                         {noreply,state(),hibernate | infinity | non_neg_integer()} |
  +                         {noreply,state(),hibernate | infinity
  +                          | non_neg_integer()} |
                            {stop,term(),state()}.
   handle_info(timeout, State) ->
       {stop, timeout, State}.
  
positive.code: 
  -spec handle_cast(term(),state()) ->
                           {noreply,state()} |
                           {noreply,state(),hibernate | infinity | non_neg_integer()} |
                           {stop,term(),state()}.
  
  handle_cast(go, St = #state{config = Cf, sim_params = SP}) ->
  
negative.code: 
  -spec handle_call(term(),{pid(),term()},state()) ->
                           {reply,term(),state()} |
                           {reply,term(),state(),hibernate | infinity
                            | non_neg_integer()} |
                           {noreply,state()} |
                           {noreply,state(),hibernate | infinity
                            | non_neg_integer()} |
                           {stop,term(),term(),state()} |
                           {stop,term(),state()}.
  handle_call(close, _From, St) ->
  