finish Call in typeInfer