return false;
}
}
+ if (rs1.size() == 1) {
+ // Check for enumeration type. Without this enumeration instances could be mixed together.
+ if (g.hasStatement(rs1.get(0), l0.Enumeration, rs1.get(0))) {
+ if (!r1.equals(r2)) {
+ rs1.clear();
+ rs2.clear();
+ return false;
+ }
+ }
+ }
rs1.clear();
rs2.clear();