If a ``shall'' or ``shall not'' requirement that appears ou…

Twetch ·

If a ``shall'' or ``shall not'' requirement that appears outside of a constraint is violated, the behavior is undefined.