Member predicate TranslatedConditionalExpr::getChildFalseSuccessor

Instruction getChildFalseSuccessor(TranslatedCondition child)