hasmtlib-2.2.0: A monad for interfacing with external SMT solvers