rework rule

KeYProject · Jun 14, 2024 · aa50bdf · aa50bdf
1 parent c60140c
commit aa50bdf
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/ArrayList/project.key b/ArrayList/project.key
@@ -57,15 +57,8 @@
 
 	  \find(==> seqPerm(s, seqSwap(s, x, y)))
 
-	  \replacewith( ==>
-	    \if ( 0 <= x & x < seqLen(s) 
-    	        & 0 <= y & y < seqLen(s))
-    	    \then 
-    	    	( true )
-    	    \else 
-    	    	( seqPerm(s, seqSwap(s, x, y)) )
-	  )
-
+	  \add( ==> 0 <= x & x < seqLen(s) & 0 <= y & y < seqLen(s))
+
 	  \heuristics(simplify_enlarging)	 
 
 	};