Может быть, я что-то пропустил, но как создать выражение if-then-else с помощью API z3 C ++?

Я мог бы использовать C API для этого, но мне интересно, почему в C ++ API нет такой функции.

С уважением, Жюльен