HF RL Explorer

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…

The task

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 optional selector expression attached to each integrity constraint statement.

Part of Lego-X/LegoFlow-SWE.