Support indexed trace column access in transition constraints

Support indexed trace column access in transition constraints: a task in LegoFlow-SWE (Harbor dataset). This syntax must not be accepted in boundary constraints or any other non‑transition context.