Handling Macro Invariants

You will implement compile-time checks that enforce logical invariants before code generation begins.