Refactor function mechanism.
Refactor duplicated functions in ArbitrisVerifier.