TODO

• MembersCollector will never visit local functions, and they will therefore never be marked as unreachable.
• Members overriding reachable or probably reachable members should get the same status.
• Implementations of "outside" members should only be marked as "probably reachable" if the implementing type (or a descendant type) is ever instantiated.