Validation in TGG Editor: Temp variables

[anthonyanjorin]

attribute conditions such as:

#attributeConditions {
	add(f.col, l, nf.col)
	eq_int(f.row, nf.row)
}

are not completely senseless, but the temp variable l in add is still a bit strange because it is used nowhere else in the CSP. I suggest we give a warning for temporary variables that are not used anywhere else in a CSP (they are assigned a value that apparently has no effect on anything else).

[anthonyanjorin]

Any progress? Have you been able to reproduce?