[Nauty] lexicografic ordered canonical form

[Joost Winne]

>    for each row i+1 compatible with D[i]
>       form D[i+1]
>       apply nauty to find the orbits of points
>           and a canonical order of the points
>       reject D[i+1] if point i+1 is not in the same orbit
>           as the point which is last in the canonical order

This would mean (after calling nauty for D[i+1]) compare orbits[i+1] with
orbits[lab[i+1]] (with getcanon true) ?
Why is that ?

>    endfor