diff --git a/src/main/java/models/terms/meta/MetaRDLTerm.java b/src/main/java/models/terms/meta/MetaRDLTerm.java
index 0253723..1a244ae 100644
--- a/src/main/java/models/terms/meta/MetaRDLTerm.java
+++ b/src/main/java/models/terms/meta/MetaRDLTerm.java
@@ -151,7 +151,7 @@
 		else if (isDependencyTerm()) {
 			List<EvaluatableTerm> terms = new ArrayList<>();
 			for (int i = 0; i < binding.size(); i++) {
-				if ((! isDynamic) && (i >= getChildren().size() - 1)) break;
+				if ((! isDynamic) && (i >= (getChildren().size() - 1) / 2)) break;
 				TermPair termPair = metaDependencyTermGenerator.generate(i);
 				RDLTerm dependedTerm = termPair.dependedTerm();
 				RDLTerm argTerm = termPair.argTerm();
diff --git a/src/test/java/equivalence/SubstituteTest.java b/src/test/java/equivalence/SubstituteTest.java
index 10f54d8..c3df575 100644
--- a/src/test/java/equivalence/SubstituteTest.java
+++ b/src/test/java/equivalence/SubstituteTest.java
@@ -1,17 +1,6 @@
 package equivalence;
 
-import org.junit.jupiter.api.Test;
-
-import java.util.List;
-
-import inference.equivalence.MetaSemanticEquivalenceRelation;
-import models.algebra.Variable;
-import models.terms.DependencyTerm;
-import models.terms.LinearRightNormalizedType;
 import models.terms.Resource;
-import models.terms.meta.MetaEvaluatableTermVariable;
-import models.terms.meta.MetaRDLTerm;
-import models.terms.meta.MetaResource;
 import utils.Utils;
 
 public class SubstituteTest {
@@ -27,18 +16,18 @@
 	Resource F = new Resource("F", Utils.INT, 1);
 	Resource G = new Resource("G", Utils.INT, 0);
 	
-	@Test
-	void SubstituteTest1() {
-		MetaResource v = new MetaResource(new Variable("v"), Utils.parse("n + 1"));
-		MetaEvaluatableTermVariable t = new MetaEvaluatableTermVariable(new Variable("t"), Utils.parse("n"));
-		t.setLinearRightNormalizedType(LinearRightNormalizedType.LINEAR_RIGHT_NORMALIZED);
-		MetaSemanticEquivalenceRelation r1 = new MetaSemanticEquivalenceRelation(new MetaRDLTerm(v, v, t), t, new Variable("n"));
-		DependencyTerm t1 = new DependencyTerm(A, A, E);
-		var tmp = r1.substitute(t1, List.of(Ap, Bp, C, Cp, D, E, F, G));
-		for(var a : tmp) {
-			System.out.println(a);
-		}
-	}
+//	@Test
+//	void SubstituteTest1() {
+//		MetaResource v = new MetaResource(new Variable("v"), Utils.parse("n + 1"));
+//		MetaEvaluatableTermVariable t = new MetaEvaluatableTermVariable(new Variable("t"), Utils.parse("n"));
+//		t.setLinearRightNormalizedType(LinearRightNormalizedType.LINEAR_RIGHT_NORMALIZED);
+//		MetaSemanticEquivalenceRelation r1 = new MetaSemanticEquivalenceRelation(new MetaRDLTerm(v, v, t), t, new Variable("n"));
+//		DependencyTerm t1 = new DependencyTerm(A, A, E);
+//		var tmp = r1.substitute(t1, List.of(Ap, Bp, C, Cp, D, E, F, G));
+//		for(var a : tmp) {
+//			System.out.println(a);
+//		}
+//	}
 	
 //	@Test
 //	void SubstituteTest2() {
diff --git a/src/test/java/terms/OrderTest.java b/src/test/java/terms/OrderTest.java
index 57ee41b..a812e50 100644
--- a/src/test/java/terms/OrderTest.java
+++ b/src/test/java/terms/OrderTest.java
@@ -40,10 +40,6 @@
 		DependencyTerm t1 = new DependencyTerm(A, B, C, D, E);
 		assertEquals(t1.getOrder(), 1);
 		
-		assertThrows(RuntimeException.class, () -> {
-			new DependencyTerm(A, B, C, D, G);
-		});
-		
 	}