== foo ==
fun foo(i: Int) {}
---------------------
    <v0>: Int   NEW: magic[FAKE_INITIALIZER](i: Int) -> <v0>
=====================
== foo ==
fun foo(a: IntArray) {}
---------------------
    <v0>: IntArray   NEW: magic[FAKE_INITIALIZER](a: IntArray) -> <v0>
=====================
== foo ==
fun foo(a: String, b: Int) {}
---------------------
    <v0>: String   NEW: magic[FAKE_INITIALIZER](a: String) -> <v0>
    <v1>: Int      NEW: magic[FAKE_INITIALIZER](b: Int) -> <v1>
=====================
== foo ==
fun foo() {}
---------------------
=====================
== test ==
fun test() {
    foo(bar())
}
---------------------
foo              !<v2>: *
bar              !<v0>: *
bar()            <v1>: *    NEW: magic[UNRESOLVED_CALL](bar()|!<v0>) -> <v1>
foo(bar())       <v3>: *    NEW: magic[UNRESOLVED_CALL](foo(bar())|<v1>, !<v2>) -> <v3>
{ foo(bar()) }   <v3>: *    COPY
=====================