Equals type_checking relaxed and simplifier walk_equals improved

[Framba-Luca]

No description provided.

[Framba-Luca]

Solves #454

[codecov-commenter]

Codecov Report

Patch coverage: 91.66% and project coverage change: +0.02 🎉

Comparison is base (be401c4) 85.05% compared to head (618e286) 85.07%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #457      +/-   ##
==========================================
+ Coverage   85.05%   85.07%   +0.02%     
==========================================
  Files         198      198              
  Lines       25722    25742      +20     
==========================================
+ Hits        21878    21901      +23     
+ Misses       3844     3841       -3     

Impacted Files	Coverage Δ
unified_planning/model/walkers/simplifier.py	94.57% <85.71%> (-0.26%)	⬇️
unified_planning/model/walkers/type_checker.py	90.94% <85.71%> (+0.18%)	⬆️
unified_planning/test/test_pddl_io.py	99.59% <100.00%> (+<0.01%)	⬆️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.