Added very basic ordering to provglish.ce.convert_graph()
Added very basic ordering to provglish.ce.convert_graph()

This is just so that the output is deterministic, to make it easier to debug changes.
For some reason, the output from the program wasn't deterministic, even with identical inputs.

mnestis/provglish