Remove unsound simp rule

Author: lotzk

src/preprocess/simp/fwd.rs

@@ -48,6 +48,7 @@ impl EquivalenceRule for PathPruning {
 /// Otherwise, it returns None.
 /// This is used to simplify integer (in)equalities in the forward rewriting.
 #[derive(Debug, Clone, Copy)]
+#[allow(unused)]
 pub(super) struct LinIntForward;
 
 impl LinIntForward {

src/preprocess/simp/mod.rs

@@ -338,7 +338,7 @@ impl Default for Simplifier {
             // does not seem to help
             //Box::new(int::NormalizeIneq),
             Box::new(int::NotComparison),
-            Box::new(fwd::LinIntForward),
+            //Box::new(fwd::LinIntForward),
             Box::new(fwd::PathPruning),
             //            Box::new(fwd::LengthConflict),
             Box::new(strlen::StringLengthAddition),