Member predicate TranslatedExpr::TranslatedConditionValue::getChildTrueSuccessor

Instruction getChildTrueSuccessor(TranslatedCondition child)