The XOR fuzzer sometimes made the problems very hard, fixing