1318

A data flow problem is distributive if the following formula holds for every transfer function f and lattice values a and b.

Prove or disprove that available expressions (Exercise 8) is a distributive data flow problem.