In reply to Chandra Bhushan Singh:
hi, constraint ab_c {if(i <10 ) (b==a);}
what does this mean? especially b==a?