feat: implement support and restore test infrastructure

Author: RajShivu

liquidjava-example/src/main/java/testSuite/CorrectResult.java

@@ -0,0 +1,16 @@
+package testSuite;
+
+import liquidjava.specification.Refinement;
+
+public class CorrectResult {
+
+    @Refinement("$result > 10")
+    public int getLargeNumber() {
+        return 15;
+    }
+
+    @Refinement("$result == (a + b)")
+    public int sum(int a, int b) {
+        return a + b;
+    }
+}

liquidjava-example/src/main/java/testSuite/ErrorResultVariable.java

@@ -0,0 +1,10 @@
+// Not Found Error
+package testSuite;
+import liquidjava.specification.Refinement;
+
+public class ErrorResultVariable {
+    public void test() {
+        @Refinement("$result > 0") 
+        int x = 10; 
+    }
+}