fn verify_original_tx(
    spending_counter: SpendingCounter,
    block0_hash: &HeaderId,
    sign_data_hash: &TransactionSignDataHash,
    account: &Identifier,
    witness: &Witness,
    range_check: Range<u32>
) -> (bool, SpendingCounter)