Gampe Andreas

Hybrid deoptimization mechanism for class hierarchy analysis