(analysis) single action pipelining: second version that takes into
account state variable dependencies.