anchor.diff:      ?FORALL(Cmds, commands(?MODULE), begin
           reset_test_state(),
           {_,State,Res} = C = run_commands(?MODULE, Cmds),
  -        Prop = eqc_statem:pretty_commands(?MODULE, Cmds, C, 
  -            begin 
  -                    exit_gracefully(State), 
  -                    Res =:= ok 
  +        Prop = eqc_statem:pretty_commands(?MODULE, Cmds, C,
  +            begin
  +                    exit_gracefully(State),
  +                    Res =:= ok
               end),
           aggregate(command_names(Cmds), Prop)
       end).
  
positive.code: next_state(S, _Res, {call, _, _, [get, Pid]}) ->
      Gets2 = ordsets:del_element(Pid, S#state.get_fsm),
      S#state{get_fsm = Gets2};
      
  next_state(S, _Res, {call, _, put_fsm_exit_error, [put, Pid]}) ->
      Puts2 = ordsets:del_element(Pid, S#state.put_fsm),
      ErrCount = S#state.put_errors + 1,
  
negative.code:             throw({error, {expired, Metric, OriginalValue}});
          false ->
              case folsom_metrics:get_metric_value(Metric) of
                  OriginalValue ->
                      poll_stat_change(Metric, OriginalValue, ExpireSecs);
                  _ ->
                      ok
  