Predicate FileMayNotBeClosed::assignedToFieldOrGlobal

predicate assignedToFieldOrGlobal(LocalScopeVariable v, Expr e)