AD primitive for the over operator.