An experimental front-end for SMT solvers.