Member predicate TranslatedConditionalExpr::getThen

Gets the TranslatedExpr for the “then” result. Note that nothing in the base implementation of this class assumes that getThen() is disjoint from getCondition().

TranslatedExpr getThen()