Issue: Integrity constraints cannot be parsed with selectors

Issue: Integrity constraints cannot be parsed with selectors: a task in LegoFlow-SWE (Harbor dataset). Currently, writing an integrity constraint with a selector (e.g., enf clk' = clk + 1 when some condition ) fails to parse or drops the selector information. The parser and AST need to support an…