Use more succinct SMT Kit term API