For two-coloured flow graphs we require that value nodes can be copied and discarded, but that central nodes cannot:
Similarly, we require a simulation between three-coloured flow graphs to be a function on process nodes.
