Member predicate InnerClass::hasEnclosingInstance

Holds if an instance of this inner class holds a reference to its enclosing class.