Add support for quantifier patterns in smt2 printer.