src/util/smt: adapted for Yices2