package mb.nabl2.terms.unification;

public class Unifiers {

    public static class Immutable {

        public static IUnifier.Immutable of() {
//            return PersistentUnifier.Immutable.of();
            return IncrementalVarSetPersistentUnifier.Immutable.of();
        }

        public static IUnifier.Immutable of(boolean finite) {
//            return PersistentUnifier.Immutable.of(finite);
            return IncrementalVarSetPersistentUnifier.Immutable.of(finite);
        }

    }

}
@@ -136,26 +136,24 @@
 able of() %7B%0A
-//
             
@@ -185,32 +185,34 @@
 Immutable.of();%0A
+//
             retu
@@ -338,18 +338,16 @@
 nite) %7B%0A
-//
         
@@ -389,32 +389,34 @@
 ble.of(finite);%0A
+//
             retu

Revert to original unifier since incremental version is still buggy.