fix: revert coffee maude files

benchmarks/models/coffee.collapsing.maude

@@ -36,4 +36,6 @@ endm
 
 load meta-pta .
 
+red reachability (<replace>, (< idle ; x:Real ; y:Real > < p1:Real ; p2:Real ; p3:Real > | ( x:Real === y:Real and x:Real >= 0/1 and y:Real >= 0/1 and p1:Real >= 0/1 and p2:Real >= 0/1 and p3:Real >= 0/1 ) )) .
+
 eof
\ No newline at end of file

benchmarks/models/coffee.no-collapsing.maude

@@ -30,4 +30,8 @@ mod MODEL is
 
 endm
 
+smt-search [1] < idle ; x ; y > < p1 ; p2 ; p3 > =>*
+               < <replace> ; x':Real ; y':Real > < p1 ; p2 ; p3 >
+               such that ( x === y and x >= 0/1 and y >= 0/1 and p1 >= 0/1 and p2 >= 0/1 and p3 >= 0/1 ) = true .
+
 eof
\ No newline at end of file