Parser for smt-lib Command responses