Optimizing Vtable Calls with Devirtualization

Write code that allows the compiler to inline virtual calls in static analysis.