adding compression to klee sketches