Assertion with variable declaration in SVA

Here q_s means is it $stable