Predicate FileMayNotBeClosed::fopenVariableReaches

The value from fopen at def is still held in Variable v upon entering node.

predicate fopenVariableReaches(LocalScopeVariable v, ControlFlowNode def, ControlFlowNode node)