Fix DD overwriting deductions

Author: Geoc2022

README.md

@@ -61,7 +61,3 @@ contri1(a, b, c, d, e, f, Provenance::from_rule("asa_cong", vec![
         vec![(*dx, *dy), (*ex, *ey), (*fx, *fy)]
     );
 ```
-
-## TODO
-
-- Some deductions are listed as axioms when they are derived by AR

dd.py

@@ -151,6 +151,8 @@ def get_new_deductions(self) -> set[Deduction]:
 
                 if pred not in self._extracted_predicates:
                     for rule_name, parent_fact_ids in derivations:
+                        if rule_name == "axiom":
+                            continue
                         parent_predicates = set()
 
                         for parent_fact_id in parent_fact_ids: