wildcard-import:3::Wildcard import abc:HIGH
wildcard-import:4::Wildcard import UNINFERABLE:HIGH
