This function is set as State.edgeCheck inside addState. In case the edge must not be added to the state, this function must throw an exception.