Predicate ModificationOfLocals::modification_of_locals

predicate modification_of_locals(ControlFlowNode f)