11.3.3 循环的查找
  为了找出程序流图中的循环,需要分析流图中结点的控制关系。为此,我们引入必经结点必经结点集的定义。