added rule constraint in the shr5System