function Foo
  block entry
    alloca -> 1
    store v1,0
    alloca -> 2
    store v2,0
    arg -> 3 0
    store v2,v3
    load -> 4 v2
    add -> 5 v4,1
    store v1,v5
    load -> 6 v1
    ret v6
function PBMAIN
  block entry
    alloca -> 1
    store v1,0
    alloca -> 2
    store v2,0
    store v2,v0
    load -> 3 v2
    cmp_eq -> 4 v3,0
    brcond v4,pb_if_then_PBMAIN_0,pb_if_else_PBMAIN_1
  block pb_if_then_PBMAIN_0
    store v1,1
    br pb_if_end_PBMAIN_2
  block pb_if_else_PBMAIN_1
    store v1,0
    br pb_if_end_PBMAIN_2
  block pb_if_end_PBMAIN_2
    load -> 5 v1
    ret v5
