Bug: Match optimizer fails to combine equivalent constraints when evaluator blocks contain list comprehensions
Bug: Match optimizer fails to combine equivalent constraints when evaluator blocks contain list comprehensions: a task in LegoFlow-SWE (Harbor dataset). When compiling AIR scripts that use match statements with evaluator blocks containing list comprehensions (e.g., vector constructions via for…
The task
When compiling AIR scripts that use `match` statements with evaluator blocks containing list comprehensions (e.g., vector constructions via `for` over ranges or zipped vectors), the match optimizer does not properly merge equivalent constraints. Instead, it leaves constraints that should be identical as separate…
Part of Lego-X/LegoFlow-SWE.