== empty ==
fun empty() {}
---------------------
L0:
    <START>
    mark({})
    read (Unit)
L1:
    <END>          NEXT:[<SINK>]
error:
    <ERROR>        PREV:[]
sink:
    <SINK>         PREV:[<ERROR>, <END>]
=====================