anchor.diff:          Res = fsm_eqc_util:wait_for_req_id(?REQ_ID),
           H = get_fsm_qc_vnode_master:get_reply_history(),
   
  -        Expected = expect(H, N, W, DW, AllowMult, Options),
  +        Expected = expect(H, N, W, DW, AllowMult, Options, Precommit),
           ?WHENFAIL(
              begin
                  io:format(user, "NodeStatus: ~p\n", [NodeStatus]),
  
positive.code: maybe_add_robj(Expect, _Robj) ->
      Expect.
  
  -endif. % EQC
  
negative.code:             false
      end.
  
  precommit_should_fail([]) ->
      false;
  precommit_should_fail([Hook | _Rest]) when Hook =:= precommit_fail;
                                             Hook =:= precommit_crash ->
      {true, {error, precommit_fail}};
  precommit_should_fail([_Hook | Rest]) ->
      precommit_should_fail(Rest).
  
  maybe_add_robj(ok, noreply) ->
      ok;
  maybe_add_robj(ok, RObj) ->
  