== short ==
fun short() = 1
---------------------
L0:
    <START>    NEXT:[r(1)]      PREV:[]
    r(1)       NEXT:[<END>]     PREV:[<START>]
L1:
    <END>      NEXT:[<SINK>]    PREV:[r(1)]
error:
    <ERROR>    NEXT:[<SINK>]    PREV:[]
sink:
    <SINK>     NEXT:[]          PREV:[<ERROR>, <END>]
=====================