anchor.diff:              ?TEST_LOG("Contract call tx ~p", [CallTx]),
               OnChainTrees = aesc_test_utils:trees(S0),
               TxEnv = tx_env(#{height => 4}),
  -            {ok, _} = aetx:process(CallTx, OnChainTrees,
  -                                  TxEnv),
               {ok, OnChainTrees1} = aetx:process(CallTx,
                                                   OnChainTrees,
                                                   TxEnv),
  
positive.code:             ?TEST_LOG("Contract call tx ~p", [CallTx]),
              OnChainTrees = aesc_test_utils:trees(S0),
              TxEnv = tx_env(#{height => 4}),
              {ok, _} = aetx:process(CallTx, OnChainTrees,
                                    TxEnv),
              {ok, OnChainTrees1} = aetx:process(CallTx,
                                                  OnChainTrees,
                                                  TxEnv),
  
negative.code:             ?TEST_LOG("Contract create tx ~p", [ContractCreateTx]),
              OnChainTrees = aesc_test_utils:trees(S0),
              TxEnv = tx_env(#{height => 3}),
              {ok, OnChainTrees1} = aetx:process(ContractCreateTx,
                                                  OnChainTrees,
                                                  TxEnv),
  