Rework vcs output of SMT-Lib solvers