Predicate DescriptorMayNotBeClosed::assignedToFieldOrGlobal

predicate assignedToFieldOrGlobal(LocalScopeVariable v, Assignment assign)