anchor.diff:                        end,
                         conjunction(
                           [
  -                         {results, equals(ExpectedStates, ActualStates)}
  +                         {state_comparison, equals(ExpectedStates, ActualStates)},
  +                         {pid_dead, equals(false, is_process_alive(FsmPid))},
  +                         {expected_response, equals(update_root, get_response(DummyPid))},
  +                         {expected_event, equals({all_blocks_written, manifest},
  +                                                 get_next_event(DummyPid))}
                           ]))
                  end)).
   
  
positive.code: 
                     %% Start the fsm processing and capture the state transitions
                     ActualStates = start_fsm(FsmState),
                     ?WHENFAIL(
                        begin
                            ?debugFmt("Expected States ~p~nActual States: ~p~n", [ExpectedStates, ActualStates]),
  
negative.code:        fun setup/0,
         fun cleanup/1,
         [%% Run the quickcheck tests
          {timeout, 300,
           ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_put_fsm()))))}
         ]
        }
  