Allows inlining non-final methods when the receiver is precisely known. Miguel's code: [TypeFlowAnalysis](https://github.com/scala-opt/scala/blob/opt/rebase/src/compiler/scala/tools/nsc/backend/icode/analysis/TypeFlowAnalysis.scala)