anchor.diff:         scheduler = self()
         },
     spawn_link(fun() -> process_top_loop(InitialInfo, "P") end).
  +
  +get_properties(Props, PropList) ->
  +  get_properties(Props, PropList, []).
  +
  +get_properties([], _, Acc) -> lists:reverse(Acc);
  +get_properties([Prop|Props], PropList, Acc) ->
  +  PropVal = proplists:get_value(Prop, PropList),
  +  get_properties(Props, PropList, [PropVal|Acc]).
   
   -spec start_first_process(pid(), {atom(), atom(), [term()]}) -> ok.
   
  
positive.code:          next_event = NextEvent,
           trap_exit = Trapping
          } = UpdatedInfo =
          locate_next_event(Location, ReceiveInfo),
        ReceiveEvent =
          #receive_event{
             message = MessageOrAfter,
  
negative.code: 
  %%------------------------------------------------------------------------------
  
  add_location_info(Location, #concuerror_info{next_event = Event} = Info) ->
    Info#concuerror_info{next_event = Event#event{location = Location}}.
  
  set_status(#concuerror_info{processes = Processes} = Info, Status) ->
  