anchor.diff:  handle_start_activity(Async,
                         Domain,
                         DomainToken, Name, Quorum, Opts, Body, From, State) ->
  -    ActivityToken = make_activity_token(Domain, DomainToken, Name, State),
  +    ActivityToken = make_activity_token(Domain, DomainToken, Name, Opts, State),
       check_no_domain_conflicts(
         ActivityToken, From, State,
         fun () ->
  
positive.code: -record(activity_token, { lease        :: {node(), binary()},
                            domain_token :: binary(),
                            domain       :: term(),
                            name         :: [term()] }).
  
  -record(state, { agent    :: undefined | {pid(), reference()},
                   acquirer :: undefined | {pid(), reference()},
  
negative.code: 
  handle_register_process(Domain,
                          DomainToken, Name, Quorum, Opts, Pid, From, State) ->
      ActivityToken = make_activity_token(Domain, DomainToken, Name, Opts, State),
      check_no_domain_conflicts(
        ActivityToken, From, State,
        fun () ->
  