anchor.diff:  prop_cake_stream_manager_works() ->
       ?FORALL(Cmds, commands(?MODULE),
               begin
  -                {ok, Pid} = ?APP:start([],[]),
  +                application:start(?APP_NAME),
                   {History,State,Result} = run_commands(?MODULE, Cmds),
  -                ?APP:stop([]),
  +                application:stop(?APP_NAME),
                   ?WHENFAIL(
                       io:format("\n\nHistory: ~w\n\nState: ~w\n\nResult: ~w\n\n",
                       [History,State,Result]),
  
positive.code: 
  -define(SERVER, cake_stream_manager).
  -define(APP, cake_app).
  -define(STREAMNAMES, [<<"tempfile">>, <<"file001">>, <<"anotherfile">>,
          <<"somefile">>, <<"binfile">>, <<"cakestream">>]).
  
  
negative.code:         true ->
              {_StreamName,FileName} =
                  proplists:get_value(StreamID,S#state.streams),
              Result =:= {ok,FileName};
          false ->
              Result =:= unregistered_stream
      end.
  