'A CFG with no exit point at all:
while True:
if a:
else:'

def infinite_loop2(self):

    g = self.from_adj_list({0: [3], 3: [16, 9], 9: [3], 16: [3]})
    g.set_entry_point(0)
    g.process()
    return g
