Lexer and parser for Yices response
Yices as a backend solver:solver selection hardcoded and does not work for PDR