Deterministic evaluation

This is a minor fix to make sure we apply rules to the graph in a deterministic order, so that applying rules is a pure function with respect to equality on the nodes.