change the interface of *check-fn-method1-rest-type*
to support prest