anchor.diff:            scheduler                  :: pid(),
             stacktop = 'none'          :: 'none' | tuple(),
             status = running           :: 'exited'| 'exiting' | 'running' | 'waiting',
  +          system_ets_entries         :: ets:tid(),
             timeout                    :: timeout(),
             timers                     :: timers()
            }).
  
positive.code: %%------------------------------------------------------------------------------
  
  check_ets_access_rights(Name, Op, Info) ->
    #concuerror_info{ets_tables = EtsTables} = Info,
    case ets:match(EtsTables, ?ets_match_name(Name)) of
      [] -> error(badarg);
      [[Tid,Owner,Protection]] ->
  
negative.code:            write -> Protection =:= public
           end),
        ?badarg_if_not(Test),
        System =
          (Owner =:= Scheduler) andalso
          case element(1, Op) of
            insert -> true;
            insert_new -> true;
            _ -> false
          end,
        {Tid, System}
    end.
  
  ets_ops_access_rights_map(Op) ->
  