SmtLib syntax and parser

Parser for parsing the response of commands