'A CFG with a infinite loop and an alternate exit point:
if c:
return
while True:
if a:
else:'

def infinite_loop1(self):

    g = self.from_adj_list({0: [10, 6], 6: [], 10: [13], 13: [26, 19], 19: [13], 26: [13]})
    g.set_entry_point(0)
    g.process()
    return g
