An expression b*c is available at a point p in a program if: every path from the initial node to p evaluates b*c before reaching p, and there are no assignments to b or c after the evaluation but before pp.
Вираз b*c доступний у точці p в програмі, якщо: кожний шлях з початкового вузла до p обчислює b*c до досягнення p, і немає присвоєнь b або c після обчислення й до pp.