== foo ==
fun foo() {
    {}
}
---------------------
L0:
    <START>
    mark({ {} })
    mark({})
    jmp?(L2)        NEXT:[r({}), d({})]
    d({})           NEXT:[<SINK>]
L2:
    r({})           PREV:[jmp?(L2)]
L1:
    <END>           NEXT:[<SINK>]
error:
    <ERROR>         PREV:[]
sink:
    <SINK>          PREV:[<ERROR>, <END>, d({})]
L3:
    <START>
    mark()
    read (Unit)
L4:
    <END>          NEXT:[<SINK>]
error:
    <ERROR>        PREV:[]
sink:
    <SINK>         PREV:[<ERROR>, <END>]
=====================
== anonymous_0 ==
{}
---------------------
L3:
    <START>
    mark()
    read (Unit)
L4:
    <END>          NEXT:[<SINK>]
error:
    <ERROR>        PREV:[]
sink:
    <SINK>         PREV:[<ERROR>, <END>]
=====================