fixup! Merge remote-tracking branch 'origin/development' into wmm-unary-predicates

Author: xeren

dartagnan/src/main/java/com/dat3m/dartagnan/encoding/WmmEncoder.java

@@ -236,10 +236,7 @@ private final class RelationEncoder implements Constraint.Visitor<Void> {
                 SyncWith.class,
                 SameVirtualLocation.class, // FIXME?!
                 Empty.class,
-                TagSet.class,
-                // Static because the underlying sets are static:
-                SetIdentity.class,
-                CartesianProduct.class
+                TagSet.class
         ));
 
         final Program program = context.getTask().getProgram();