--- a/main_testing5/bfc_test.sh	Sun May 01 12:41:56 2022 +0100
+++ b/main_testing5/bfc_test.sh	Thu Aug 04 16:53:38 2022 +0200
@@ -25,7 +25,8 @@
 # purity test
 
 function scala_vars {
-   (egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|AtomicInteger|mutable|util.control|new Array' c$out 2> /dev/null 1> /dev/null)
+    (sed 's/immutable/ok/g' c$out > cb$out;
+     egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|AtomicInteger|mutable|util.control|new Array' cb$out 2> /dev/null 1> /dev/null)
 }