Added a structure with printers and parsers, and parsers for smt lib command for testing.