Response parser gives Ga instead of Gv

[jwaldmann]

For an smt2 script with (check-sat)(get-value ...), Z3 answers

sat
((f12m false)
(f12c 0)
(f13m true) ...

and I was expecting that parseResponses gives [ Cs_response Sat , Gv_response pairs ]
but actually it produces [ Cs_response Sat , Ga_response terms ]

I expect it is difficult to know what the S-expression means
(the response parser does not know what command caused the output).