Feature Request: Support random values section in AIR scripts

Feature Request: Support random values section in AIR scripts: a task in LegoFlow-SWE (Harbor dataset). Concrete examples of expected constraint expressions: - enf c.first = $alphas 5 + y 2 + z (refers to the 6th random value of the alphas group, the 3rd value of the y array, and the single value…