Support latest z3 by linearising to SMT