anchor.diff:          , create_version_too_high/1
           , state_tree/1
           , sophia_identity/1
  +        , sophia_vm_interaction/1
           , sophia_state/1
           , sophia_match_bug/1
           , sophia_spend/1
  
positive.code: %%%===================================================================
  
  all() ->
      [{group, aevm_1}, {group, aevm_2}].
  
  %% To skip one level of indirection...
  -define(ALL_TESTS, [{group, transactions}, {group, state_tree}, {group, sophia},
  
negative.code:     CreateTx    = create_tx(Owner, Options1, S),
      Height      = maps:get(height, Options, 1),
      PrivKey     = aect_test_utils:priv_key(Owner, S),
      S1          = case sign_and_apply_transaction(CreateTx, PrivKey, S, Height) of
                        {ok, TmpS} when not Fail -> TmpS;
                        {ok,_TmpS} when Fail -> error({error, succeeded});
                        {error, R,_TmpS} when not Fail -> error(R);
                        {error, R, TmpS} when Fail -> throw({ok, R, TmpS})
                    end,
      ContractKey = aect_contracts:compute_contract_pubkey(Owner, Nonce),
      CallKey     = aect_call:id(Owner, Nonce, ContractKey),
      CallTree    = aect_test_utils:calls(S1),
  