SMT-LIB get-model output now is easier to machine-parse: contains (model...) bracketing