Effective Fuzzing for Smart Contract