and(older(10),pk(A)) malleable if top-level, can it be top-level? EDIT: not malleable, was mistaken
OP_CHECKSEQUENCEVERIFY is a redefined OP_NOP code, so it cannot manipulate the stack - only abort or continue. In your script, that means it leaves the 10 on the stack, and no &lt;any-nonzero&gt; is necessary in the witness (and adding one would be a violation of the CLEANSTACK standardness rule).