respond to codepilot suggestions

Author: pazz

src/semigroup.rs

@@ -195,7 +195,7 @@ impl FlowSemigroup {
             while !to_process_mult.is_empty() {
                 let flow = to_process_mult.pop_front().unwrap();
                 //print!(".");
-                io::stdout().flush().unwrap();
+                //io::stdout().flush().unwrap();
                 debug!("\nClose by product processing flow\n{}\n", flow);
                 /*if Self::is_covered(&flow, &processed) {
                     //debug!("Skipped inqueue\n{}", flow);

src/strategy.rs

@@ -39,7 +39,7 @@ impl Strategy {
         let mut result = false;
         for (a, downset) in self.0.iter_mut() {
             // print!(".");
-            io::stdout().flush().unwrap();
+            //io::stdout().flush().unwrap();
             let edges = edges_per_letter.get(a).unwrap();
             let safe_pre_image = safe.safe_pre_image(edges, maximal_finite_value);
             result |= downset.restrict_to(&safe_pre_image);