Predicate FileMayNotBeClosed::fopenReaches

The value returned by fopen def has not been closed, confirmed to be null, or potentially leaked globally upon reaching node (regardless of what variable it’s still held in, if any).

predicate fopenReaches(ControlFlowNode def, ControlFlowNode node)