anchor.diff:              ok
       end,
   
  -    Web = {webmachine_mochiweb,
  -           {webmachine_mochiweb, start, [lasp_config:web_config()]},
  -            permanent, 5000, worker,
  -            [mochiweb_socket_server]},
  -
       MarathonPeerRefresh = {lasp_marathon_peer_refresh_service,
                              {lasp_marathon_peer_refresh_service, start_link, []},
                               permanent, 5000, worker,
  
positive.code: 
              %% If instrumentation is enabled, run the web service on
              %% port 80.
              lasp_config:set(web_port, 80),
  
              BaseSpecs ++ [ClientTrans,
                            ServerTrans,
                            Divergence];
          false ->
              BaseSpecs
      end,
  
      SimDefault = list_to_atom(os:getenv("AD_COUNTER_SIM", "false")),
  
negative.code:                  PlumtreeBackend,
                   Plumtree,
                   MarathonPeerRefresh,
                   Process],
  
      InstrDefault = list_to_atom(os:getenv("INSTRUMENTATION", "false")),
      InstrEnabled = application:get_env(?APP, instrumentation, InstrDefault),
  