Complete proof that non-touching PseudoC actions commute.

This then guarantees that graphs built with them will indeed evaluate
deterministically.