Muchos de los expertos en teoría de grafos y compiladores han abogado por permitir solo grafos de flujo reducible.