Графы потока управления для циклов в программировании