SI-7937 In for, semi before guard never required

Align the spec with the impl.

Just trying to help.

Review by @adriaanm