The idea is to have generator to assert that they give the same response assuming the heuristic is monotone.
The idea is to have generator to assert that they give the same response assuming the heuristic is monotone.