Member predicate TranslatedConditionalExpr::getChildTrueSuccessor

Instruction getChildTrueSuccessor(TranslatedCondition child)