Verification (Self-Verification):
- Verify logic against constraints.
- Correct syntax before outputting.
