Added missing rules for BigOp production