Class Hierarchy Analysis
- f can be statically bound or inlined
- g must be dynamically dispatched for recv
- g can be statically bound or inlined for recv
- h can be statically bound or inlined
Note: these observations may not be true
anymore after class loading!
E is loaded later in time