LLPython generated control flow graph of a test case that doesn't converge given current implementation of llpython.control_flow.ControlFlowGraph.update_for_ssa().