Characteristic predicate DataFlow::EnclosingInstanceAccess::EnclosingInstanceAccess

EnclosingInstanceAccess()