Add Test

Author: rcosta358

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

@@ -0,0 +1,6 @@
+package testSuite;
+
+import liquidjava.specification.RefinementAlias;
+
+@RefinementAlias("Positive(v) { v > 0 }")
+public class ErrorMissingAliasTypeParameter {}