Statistics for A Reduction from Smart Contract Verification to Model Checking