We use union + distinct to generate the vertices, which doesn't guarantee stable order and hence might have the same non-deterministic ID assignment issues (#159).