Fix support with new SMT-Lib API (base + Z3)