Member predicate TranslatedConditionValue::getChildFalseSuccessor

Instruction getChildFalseSuccessor(TranslatedCondition child)