diff --git a/src/tests/terms/meta/MetaResourceVariableTest.java b/src/tests/terms/meta/MetaResourceVariableTest.java
index 30b1cc6..6c921ee 100644
--- a/src/tests/terms/meta/MetaResourceVariableTest.java
+++ b/src/tests/terms/meta/MetaResourceVariableTest.java
@@ -116,11 +116,47 @@
 	}
 	
 	@Test
-	void MetaResourceVariableMathcingWithEqOrder() {
+	void MetaResourceVariableMathcingWithVariableOrderEq() {
 		ResourceVariable a = new ResourceVariable("a", INT, 0);
 		MetaResourceVariable x = new MetaResourceVariable(new Variable("x"), parse("x"));
 		
-		//a(0) matches x(x)
+		//a(0) matches x(=x)
+		assertTrue(x.isMatchedBy(a));
+	}
+	
+	@Test
+	void MetaResourceVariableMathcingWithVariableOrderLT() {
+		ResourceVariable a = new ResourceVariable("a", INT, 2);
+		MetaResourceVariable x = new MetaResourceVariable(new Variable("x"), OrderConstraint.LT, parse("x"));
+		
+		//a(2) matches x(<x)
+		assertTrue(x.isMatchedBy(a));
+	}
+	
+	@Test
+	void MetaResourceVariableMathcingWithVariableOrderLE() {
+		ResourceVariable a = new ResourceVariable("a", INT, 2);
+		MetaResourceVariable x = new MetaResourceVariable(new Variable("x"), OrderConstraint.LE, parse("x"));
+		
+		//a(2) matches x(<=x)
+		assertTrue(x.isMatchedBy(a));
+	}
+
+	@Test
+	void MetaResourceVariableMathcingWithVariableOrderGT() {
+		ResourceVariable a = new ResourceVariable("a", INT, 2);
+		MetaResourceVariable x = new MetaResourceVariable(new Variable("x"), OrderConstraint.GT, parse("x"));
+		
+		//a(2) matches x(>x)
+		assertTrue(x.isMatchedBy(a));
+	}
+
+	@Test
+	void MetaResourceVariableMathcingWithVariableOrderGE() {
+		ResourceVariable a = new ResourceVariable("a", INT, 2);
+		MetaResourceVariable x = new MetaResourceVariable(new Variable("x"), OrderConstraint.GE, parse("x"));
+		
+		//a(2) matches x(<x)
 		assertTrue(x.isMatchedBy(a));
 	}