fix #539, search supertypes when doing uninhabitable type analysis