anchor.diff:  -spec state_has_monitor(state(), comm:mypid()) -> boolean().
   state_has_monitor(State, WatchedPid) ->
       Table = state_get_monitor_tab(State),
  -    MonKey = {'$monitor', WatchedPid},
  +    PlainPid = get_real_pid(WatchedPid),
  +    MonKey = {'$monitor', PlainPid},
       pdb:get(MonKey, Table) =/= undefined.
   
   -spec rempid_new(comm:mypid()) -> rempid().
  
positive.code:                  State
      end.
  
  -spec state_add_monitor(state(), comm:mypid()) -> state().
  state_add_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
      CountKey = {'$monitor_count', WatchedPid},
      X = case pdb:get(CountKey, Table) of
              undefined ->
                  MonRef = gen_component:monitor(comm:make_local(
                                                   comm:get_plain_pid(WatchedPid))),
                  pdb:set({{'$monitor', WatchedPid}, MonRef}, Table),
                  1;
              {CountKey, I} when is_integer(I) ->
                  I + 1
  
negative.code: -spec state_del_monitor(state(), comm:mypid()) -> {Found::boolean(), state()}.
  state_del_monitor(State, WatchedPid) ->
      Table = state_get_monitor_tab(State),
      PlainPid = get_real_pid(WatchedPid),
      CountKey = {'$monitor_count', PlainPid},
      Found = case pdb:take(CountKey, Table) of
                  undefined ->
                      false;
                  {CountKey, 1} ->
                      MonKey = {'$monitor', PlainPid},
                      {MonKey, MonRef} = pdb:take(MonKey, Table),
                      gen_component:demonitor(MonRef),
                      true;
  