Complete proof that evaluation of graphs and ngraphOf link up
A little more work (paralleling the PseudoCProps development)