Really fix datadeps theory to work with new action-graph type.
Define wave function.

Characterising theorem is:

      |- wave G i = MAX_SET {wave G j + 1 | j | j -<G>#-> i}

where

    j -<G>#-> i

means that iteration-node j is linked to iteration-node i in graph G.