affirm always @(never or x1 or _sv2v_0)
affirm always @(never or x2 or _sv2v_0)