| == foo == | |
| fun foo(i: Int = 1, j: Int) = i + j | |
| --------------------- | |
| <v1>: Int NEW: magic[FAKE_INITIALIZER](i: Int = 1) -> <v1> | |
| <v3>: Int NEW: magic[FAKE_INITIALIZER](j: Int) -> <v3> | |
| 1 <v0>: Int NEW: r(1) -> <v0> | |
| i: Int = 1 <v2>: Int NEW: merge(i: Int = 1|<v0>, <v1>) -> <v2> | |
| i <v4>: Int NEW: r(i) -> <v4> | |
| j <v5>: Int NEW: r(j) -> <v5> | |
| i + j <v6>: Int NEW: call(i + j, plus|<v4>, <v5>) -> <v6> | |
| ===================== |