== test ==
fun test(a: Any) {
    a.foo()
}
---------------------
              <v0>: {<: Any}   NEW: magic[FAKE_INITIALIZER](a: Any) -> <v0>
a             <v1>: *          NEW: r(a) -> <v1>
foo           !<v2>: *
foo()         <v3>: *          NEW: magic[UNRESOLVED_CALL](foo()|!<v2>, <v1>) -> <v3>
a.foo()       <v3>: *          COPY
{ a.foo() }   <v3>: *          COPY
=====================