Add DisputedHeuristic and its test.