Fix Z3 support with new SMT-Lib API