test case Feature/CompressedExprLogging.c cannot cover test point.

[wenrouyinying]

[Frank Busse]

Thanks, this should be klee-out2.

Note: Also the solving time has to be removed from the .kquery files beforehand (e.g. # OK -- Elapsed: 1.123456e-03s). Since there is only a single path the ordering should be fine.