Predicate fopenDefinition

predicate fopenDefinition(StackVariable v, ControlFlowNode def)