Example:

(benchmark none
:logic QF_NIA
:extrafuns ((a Int) (b Int))
:extrapreds ((x))
:assumption (> a (ite x 2 b))
:formula (true)
)