PC -> function decoding, although we can't do runtime.FuncForPC() *Func yet because of interpreter limitations.
Correct scope association block after phi in "if" and "switch" statements.