The language supports arithmetic expressions with addition ( + ) and subtraction ( ‑ ) in constraint…

The language supports arithmetic expressions with addition ( + ) and subtraction ( ‑ ) in constraint…: a task in LegoFlow-SWE (Harbor dataset). Observed symptom Feeding a source program that uses in a constraint expression, for example: trace columns: main: clk transition constraints: enf clk' clk…