Fixing fuzzing of redundant clause dumping