Stability with respect to another signal

[pRoSpEr]

In reply to pRoSpEr:

One of the many tries:

property check;
@(A) ((A !== 1’bx) |->##0(B === 1));
endproperty