small fix in parsing raw CBMC counterexample