Member predicate TranslatedElement::getInstructionInheritance
If the instruction specified by tag is an InheritanceConversionInstruction,
gets the inheritance relationship for that instruction.
predicate getInstructionInheritance(InstructionTag tag, Class baseClass, Class derivedClass)