anchor.diff:      User = element(PosUser, State),
       case SubMod:handle_cast(Msg, User) of
           {noreply, User1} ->
  -            {noreply, setelement(PosUser, User1, State)};
  +            {noreply, setelement(PosUser, State, User1)};
           {noreply, User1, Timeout} ->
  -            {noreply, setelement(PosUser, User1, State), Timeout};
  +            {noreply, setelement(PosUser, State, User1), Timeout};
           {stop, Reason, User1} ->
  -            {reply, Reason, setelement(PosUser, User1, State)}
  +            {reply, Reason, setelement(PosUser, State, User1)}
       end.
   
   
  
positive.code:     User = element(PosUser, State),
      case SubMod:handle_call(Msg, From, User) of
          {reply, Reply, User1} ->
              {reply, Reply, setelement(PosUser, User1, State)};
          {reply, Reply, User1, Timeout} ->
              {reply, Reply, setelement(PosUser, User1, State), Timeout};
          {noreply, User1} ->
              {noreply, setelement(PosUser, User1, State)};
          {noreply, User1, Timeout} ->
              {noreply, setelement(PosUser, User1, State), Timeout};
          {stop, Reason, User1} ->
              {reply, Reason, setelement(PosUser, User1, State)};
          {stop, Reason, Reply, User1} ->
              {stop, Reason, Reply, setelement(PosUser, User1, State)}
      end.
  
  
  
negative.code:     SubMod = element(PosMod, State),
      case SubMod:init(Arg) of
          {ok, User1} ->
              {ok, setelement(PosUser, State, User1)};
          {ok, User1, Timeout} ->
              {ok, setelement(PosUser, State, User1), Timeout};
          {stop, Reason} ->
              {stop, Reason};
          ignore ->
  