ENTRY_0: #succs=[if_else_2]

EXIT_1: #succs=[]

if_else_2: #succs=[if_else_4, if_else_5]
    [0] a: finch.int64 = 5

if_else_3: #succs=[EXIT_1]

if_else_4: #succs=[if_else_6]
    [5] assert(eq(a, 5))
    [1] a: finch.int64 = add(a, 10)

if_else_5: #succs=[if_else_6]
    [6] assert(not_(eq(a, 5)))

if_else_6: #succs=[if_else_7, if_else_8]

if_else_7: #succs=[if_else_9]
    [7] assert(lt(a, 15))
    [2] a: finch.int64 = sub(a, 3)

if_else_8: #succs=[if_else_9]
    [8] assert(not_(lt(a, 15)))
    [3] a: finch.int64 = mul(a, 2)

if_else_9: #succs=[if_else_3]
    [4] return a

if_else_10: #succs=[if_else_3]
