Entry point: claim(sig).stays.in([0,1]). label flows into sub-clause failure messages.
claim(sig).stays.in([0,1])
label
Optional
Entry point:
claim(sig).stays.in([0,1]).labelflows into sub-clause failure messages.