Change Int.comparator to Int.comparator_witness

The test did not run due to an unbound module error on my machine.
Changing Int.comparator to Int.comparator_witness fixed the problem.