remove PredicateEvaluator::evaluate_predicate_with_direction

Author: GyulyVGC

src/traits/predicate_evaluator.rs

@@ -3,17 +3,7 @@ pub trait PredicateEvaluator {
     type Reason;
     type Direction;
 
-    fn evaluate_predicate(&self, _predicate: &Self::Predicate) -> bool {
-        false
-    }
-
-    fn evaluate_predicate_with_direction(
-        &self,
-        _predicate: &Self::Predicate,
-        _direction: &Self::Direction,
-    ) -> bool {
-        false
-    }
+    fn evaluate_predicate(&self, _predicate: &Self::Predicate) -> bool;
 
     fn get_reason(&self, predicate: &Self::Predicate) -> Self::Reason;