klee-log-parser: support more errors