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