Add deduction rule using pattern matcher