In reply to Jarno:
There isn’t any not operator for sequences. Conceptually what you want is the following (not sure if proper syntax):
<sequence> && out == 1 or out == 0 [*]
This creates a sequences that matches on the first match of the two subsequences joined by the or. Disclaimer: I’m not an SVA expert. Try it out and let us know if it worked.