[direct super types]

[approximated direct super types]

[all super types]

[approximated all super types]
