== empty ==
fun empty() {}
---------------------
l0:
    <START>
    read (Unit)
l1:
    <END>
error:
    <ERROR>
=====================