Fork of Peter Collingbournes code for KLEE-CL benchmarks