added first list to clfilter klee