== main ==
fun main(arg : Array<String>) {
    a
}
---------------------
L0:
  1 <START>
    v(arg : Array<String>)
    magic[FAKE_INITIALIZER](arg : Array<String>) -> <v0>
    w(arg|<v0>)
  2 mark({ a })
    magic[UNRESOLVED_CALL](a) -> <v1>
L1:
  1 <END>                                                   NEXT:[<SINK>]
error:
    <ERROR>                                                 PREV:[]
sink:
    <SINK>                                                  PREV:[<ERROR>, <END>]
=====================