1: \begin{definition}\label{def:CondK}

2: A finitely separated graph $(E,C)$ is said to satisfy \textit{Condition} (\textit{K}) if every vertex $v \in E^0$ on a cycle satisfies the following:

3: \begin{enumerate}

4: \item $v$ admits exactly one choice.

5: \item $v$ admits at least two base-simple cycles up to inversion.

6: \end{enumerate}

7: It is apparent that any finite bipartite Condition (K) graph $(E,C)$ satisfies the assumptions of Theorem~\ref{thm:ODege}, so that $\mathcal{O}(E,C)$ will degenerate to a graph $C^*$-algebra $C^*(F)$ with $F:=\overline{E_n}$ for some $n$. However, in order to conclude that $F$ satisfies the usual Condition (K), we first have to check that it is preserved when passing from $(E,C)$ to $(E_n,C^n)$. \exend

8: \end{definition}

9: