<ethoc>: reorganised klee data folder