Member predicate TranslatedConditionValue::getChildTrueSuccessor

Instruction getChildTrueSuccessor(TranslatedCondition child)