Good catch. I thought that `min` was not evaluated for each node, but didn't check. The concise way that you propose for getting a node with minimum degree is very nice!