pub fn execute_transaction_with_system<S, V, T>(
    substate_db: &S,
    vm: V,
    costing_parameters: &CostingParameters,
    execution_config: &ExecutionConfig,
    transaction: &Executable<'_>,
    init: <T as WrappedSystem<V>>::Init
) -> TransactionReceiptV1