Remove dead code and standardize imports in rewrite module

[Copilot]

Cleanup pass removing unused functions and improving consistency across the codebase.

Changes

• Removed dead code (rewrite.py)

  • simp1() function - unused except in commented-out test
  • Commented-out factor() function marked non-functional
  • 25 lines removed total

• Enhanced documentation (rewrite.py)

  • Clarified distinctions between simp(), simp2(), and full_simp():
    • simp(): Size-tracking heuristics (default, prevents term explosion)
    • simp2(): Predicate elimination via Z3 tactic
    • full_simp(): Fixed-point iteration (maximum simplification)

• Standardized imports (theories/real/interval.py)

  • Changed import kdrag.theories.real as R → as real
  • Aligns with pattern used in 10+ other theory modules

• Cleaned tests (test_utils.py)

  • Removed obsolete commented-out test code

Before:

# Three simplification functions with unclear differences
simp1(expr)      # What does this do?
simp2(expr)      # How is this different?
simp(expr)       # When do I use this?

After:

# Clear guidance in docstrings
simp(expr)           # Default: size-aware, prevents explosion
simp2(expr)          # Specialized: predicate elimination
full_simp(expr)      # Aggressive: iterate to fixed point

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Simplify and increase self consistency</issue_title>
<issue_description>Find old cold, code that could be simplified, code rarely used, or ways of increasing self consistency across the codebase</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes Simplify and increase self consistency #18

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.