Module Core_kernel__.Core_set_intf.Check_accessors2_with_comparator