- add domain constraint for enums
- for equalities check that variable does not appear in other arg

cannot be generated.

before adding them.

for both ways.

when nrtest command fails.

address.