Yices: Fixed parser to accept dashes in identifiers (for invgen)
Yices: correct parsing of auxiliary variables (ignored) and rationnals