feat(opensmt/parsers/smt2/smt2parser): allow "(term)"