Fixes and improvements in `module_to_kore`#4704

Merged

tothtamas28 merged 11 commits intodevelopfrom module-to-kore-fixes

Dec 10, 2024

+274-100

Commits on Dec 5, 2024

Enable checking non-rule axioms in test_module_to_kore
tothtamas28
committed

Commits on Dec 6, 2024