Add rule optional quantification (HKA-17).