Predicate UnguardedNextInGenerator::call_to_next

predicate call_to_next(CallNode call, ControlFlowNode iter)