CLF generating method for KLEE4.