A Study of Type Analysis for Speculative Method Inlining in a JIT Environment