added smarter invoke tag-inferer, added fn-method tag inferer