Add support for extractvalue. It is not as useful as it looks like
because extractvalue is only heavily used in C++ codes follwoing the
landingpad instruction, which we did not handle quite well yet.
Add support for callString-based context sensitivity