Reimplement generate_nonsubadditive_vertices and generate_additive_vertices in terms of generators. Reimplement minimality_check in terms of generate_nonsubadditive_vertices.
Add didactical equivalent code (commented out).