In reply to dave_59:
Thanks for your earlier input.
constraint valid_mask{mask_validation(mask) -> b < 10; }
But for this constraint, I am not able to get the proper output. Will you please explain a bit, how it is going to work? Actually I am not able to figure out the idea behind this.