Constraint builder produces incorrect trace segment and domain inference for multi-segment AIRs

Constraint builder produces incorrect trace segment and domain inference for multi-segment AIRs: a task in LegoFlow-SWE (Harbor dataset). Observed behavior: When an AIR program defines both main and auxiliary trace columns, the constraint builder incorrectly infers the trace segment and constraint…