Pending test for SI-6161

Not solved with base type dealiasing
WIP SI-8046 TypeRef of symbol with abstract elem in BTS must fully recompute BTS seen from its prefix