- Adds formSupervertices and its tests.