Change signature of record inference and record nogood #16
Description
Now the mapping of AtomicConstraint to IntAtomicConstraint is not at all obvious.
{{ message }}
Now the mapping of AtomicConstraint to IntAtomicConstraint is not at all obvious.