Adding instructions for configuring the pattern matcher used by blanket