anchor.diff:      %% Test creating a bogus account
       {BadPubKey, BadS} = aect_test_utils:setup_new_account(aect_test_utils:new_state()),
       BadPrivKey        = aect_test_utils:priv_key(BadPubKey, BadS),
  -    RTx1      = aect_test_utils:create_tx(BadPubKey, S1),
  -    {error, S1} = sign_and_apply_transaction(RTx1, BadPrivKey, S1),
  +    RTx1              = aect_test_utils:create_tx(BadPubKey, S1),
  +    {error, _, S1}    = sign_and_apply_transaction(RTx1, BadPrivKey, S1),
   
       {error, account_not_found} = aetx:check(RTx1, Trees, Env),
   
  
positive.code:     Trees    = aect_test_utils:trees(S1),
      Env0     = aetx_env:tx_env(Height),
      Env      = aetx_env:set_beneficiary(Env0, ?BENEFICIARY_PUBKEY),
      {ok, AcceptedTxs, Trees1} =
          aec_block_micro_candidate:apply_block_txs([SignedTx], Trees, Env),
      S2       = aect_test_utils:set_trees(Trees1, S1),
      case AcceptedTxs of
          [SignedTx] -> {ok, S2};
          []         -> {error, S2}
      end.
  
  sign_and_apply_transaction_strict(Tx, PrivKey, S1) ->
  
negative.code:                  }, maps:without([height, return_gas_used, return_logs], Options)), S),
      Height   = maps:get(height, Options, 1),
      PrivKey  = aect_test_utils:priv_key(Caller, S),
      case sign_and_apply_transaction(CallTx, PrivKey, S, Height) of
          {ok, S1} ->
              CallKey  = aect_call:id(Caller, Nonce, ContractKey),
              CallTree = aect_test_utils:calls(S1),
              Call     = aect_call_state_tree:get_call(ContractKey, CallKey, CallTree),
              Result   =
                  case aect_call:return_type(Call) of
                      ok     -> {ok, Res} = aeso_heap:from_binary(Type, aect_call:return_value(Call)),
                                Res;
                      error  -> {error, aect_call:return_value(Call)};
                      revert -> revert
                  end,
              Result1 = case maps:get(return_logs, Options, false) of
                          true -> {Result, aect_call:log(Call)};
                          false -> Result end,
              case maps:get(return_gas_used, Options, false) of
                  false -> {Result1, S1};
                  true  -> {{Result1, aect_call:gas_used(Call)}, S1}
              end;
          {error, R, S1} ->
              {{error, R}, S1}
      end.
  
  account_balance(PubKey, S) ->
  