Base for canBeSubtypeOf
Hide passes from results, but include it in leon as it is purescala