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