Insert into a univalent relation should give the correct error message.

[stefjoosten]

What happened

When experimenting with enforcement rules, I tried the following script:

CONTEXT Issue1420

RELATION r[S*T]
RELATION s[S*T] [UNI]
POPULATION r[S*T] CONTAINS
  [ ("aap","noot"), ("aap","mies") ]

ENFORCE s >: r

ENDCONTEXT

What I expected

I expected this script to fail upon startup because relation s is univalent. So, trying to copy the contents of r into s should fail with a violation of univalence.

What I got

Instead, I got a maximum number of reruns violation:

Version of Ampersand that was used

I used rap.tarski.nl running Ampersand-v4.6.2 to try this out

Steps to reproduce

1. Log in into rap.tarski.nl (RAP4) and create a new script.
2. Copy the script from the text above into the editor of RAP4.
3. compile the script. This will succeed.
4. Open the prototype. This gives the error from the screenshot.