add Verifier.java; TODO: need to analysis all the Stmt types