delay checks for undecidable supertypes until AliasVisitor for #596