Module Base.Set_intf.Check_creators2_with_comparator