Add implementation of throw_bad_comparator()