                            childHyperedgeState[index] = 3;
                        }
                        else
                        {
                            childHyperedgeState[index] = 2;
                        }
                    }
                }

                edgeIntroductionCheckNeeded = edgeIntroductionCheckNeeded || decomposition.introducedVertexCount(vertex, child) > 0;
            }
        }
        else