An Attempt to Find Polymorphic Types by Abstract Interpretation