private void handleVertexRemoval(Vertex vertex) {
        Symbol symbol = vertex.getSymbol();
        if (symbol != null) {
            boolean symbolIsUnused = true;
            for (Vertex v: graph.getVertices()) {