anchor.diff:  %% API
   -export([start_link/3,
            get_active_manifest/1,
  +         get_specific_manifest/2,
            add_new_manifest/2,
            update_manifest/2,
            mark_active_as_pending_delete/1,
  
positive.code: 
  get_active_manifest(Pid) ->
      gen_fsm:sync_send_event(Pid, get_active_manifest, infinity).
  
  add_new_manifest(Pid, Manifest) ->
      gen_fsm:send_event(Pid, {add_new_manifest, Manifest}).
  
negative.code: 
  waiting_command(get_active_manifest, _From, State) ->
      {Reply, NewState} = active_manifest(State),
      {reply, Reply, waiting_update_command, NewState};
  waiting_command({get_specific_manifest, UUID}, _From, State) ->
      {Reply, NewState} = specific_manifest(UUID, State),
      {reply, Reply, waiting_update_command, NewState};
  waiting_command(mark_active_as_pending_delete, _From, State) ->
      Reply = set_active_manifest_pending_delete(State),
  