Constraint Based Question In Sv