if (another instanceof ObjCollection) { ObjCollection c2 = (ObjCollection) another; if (collection.equivalence().equals(c2.equivalence())) { if (collection instanceof ObjSet && c2 instanceof ObjSet && collection.size() < another.size()) {
if (another instanceof ObjCollection) { ObjCollection c2 = (ObjCollection) another; if (collection.equivalence().equals(c2.equivalence())) { if (collection instanceof ObjSet && c2 instanceof ObjSet && collection.size() < another.size()) {