[type]
ERROR_TYPE(Symbol not found for UnresolvedType)

[direct super types]

[approximated direct super types]

[all super types]

[approximated all super types]
