make test fail to test github action

Author: CatarinaGamboa

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

@@ -11,7 +11,7 @@ public static void main(String[] args) {
     @Refinement("PtGrade(_) && _ >= 10")
     int positiveGrade = 15;
 
-    @Refinement("_ > 5 && _ < 18")
+    @Refinement("_ > 5 && _ < 9")
     int nGrade = 10;
     @Refinement("PtGrade(_) && PtGrade(nGrade)")
     int positiveGrade2 = 15;