[engine] Constant Folding and Propagation to reduce false positives in arithmetic

[Gbangbolaoluwagbemiga]

Context

Suppress trivial overflow warnings like 1 + 2.

What to build

Add a constant folding pass before rule evaluation.

Acceptance Criteria

• 1000 + 500 is evaluated internally and not flagged.