Я бы, наверное, проигнорировал все, что связано с Оппти.
Вы хотите, чтобы был создан только один продукт, поэтому при создании число LI равно 0, и вы можете создать ровно один, либо оно не равно 0, и вы не можете создать ни одного.
Я бы просто создал поле свертки в Oppty, посчитал продукты. Если число! = 0, то проверка не пройдена. Если count = 0, то считать Олис в trigger.new, а если! = 1, не получится.