Member predicate TranslatedConditionValue::getChildTrueSuccessor

Gets the instruction to be executed when child evaluates to true. The successor edge kind is specified by kind.