As indicated by M.A. Jackson (1975), in order to create a generator to generate an efficient program structure which uses data flow for its constraint computations, we should detect and solve the ...