== neq ==
fun neq(a: Int, b: Int) {
    if (a != b) {}
}
---------------------
L0:
  1 <START>
    v(a: Int)
    magic[FAKE_INITIALIZER](a: Int) -> <v0>
    w(a|<v0>)
    v(b: Int)
    magic[FAKE_INITIALIZER](b: Int) -> <v1>
    w(b|<v1>)
  2 mark({ if (a != b) {} })
    mark(if (a != b) {})
    r(a) -> <v2>
    r(b) -> <v3>
    mark(a != b)
    call(a != b, equals|<v2>, <v3>) -> <v4>
    jf(L2|<v4>)                                NEXT:[read (Unit), mark({})]
  3 mark({})
    read (Unit)
  2 jmp(L3)                                    NEXT:[merge(if (a != b) {}|!<v5>) -> <v6>]
L2 [else branch]:
    read (Unit)                                PREV:[jf(L2|<v4>)]
L3 ['if' expression result]:
    merge(if (a != b) {}|!<v5>) -> <v6>        PREV:[jmp(L3), read (Unit)]
L1:
  1 <END>                                      NEXT:[<SINK>]
error:
    <ERROR>                                    PREV:[]
sink:
    <SINK>                                     PREV:[<ERROR>, <END>]
=====================