A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel (Software engineering notes)