PseudoCProps builds once again, with a semi-plausible graphOf function.
Slight revision to graphOf: it now returns the iteration number it's "up to"

This should ensure that individual actions get uniquely identified.