Predicate FileMayNotBeClosed::fopenDefinition

predicate fopenDefinition(LocalScopeVariable v, ControlFlowNode def)