\node [anchor=north west] (line7) at ([yshift=-0.1em]line6.south west) {4: \quad\quad\textbf{foreach}$k =1$ to $K$\textbf{do}};
\node [anchor=north west] (line8) at ([yshift=-0.1em]line7.south west) {5: \quad\quad\quad\footnotesize{$c_{\mathbb{E}}(\seq{s}_u|\seq{t}_v;\seq{s}^{[k]},\seq{t}^{[k]})=\sum\limits_{j=1}^{|\seq{s}^{[k]}|}\delta(s_j,s_u)\sum\limits_{i=0}^{|\seq{t}^{[k]}|}\delta(t_i,t_v)\cdot\frac{f(s_u|t_v)}{\sum_{i=0}^{l}f(s_u|t_i)}$}\normalsize{}};
\node [anchor=north west] (line9) at ([yshift=-0.1em]line8.south west) {6: \quad\quad\textbf{foreach}$t_v$ appears at least one of $\{\seq{t}^{[1]},...,\seq{t}^{[K]}\}$\textbf{do}};
\node [anchor=north west] (line10) at ([yshift=-0.1em]line9.south west) {7: \quad\quad\quad$\lambda_{t_v}^{'}=\sum_{s_u}\sum_{k=1}^{K} c_{\mathbb{E}}(s_u|t_v;\seq{s}^{[k]},\seq{t}^{[k]})$};
\node [anchor=north west] (line10) at ([yshift=-0.1em]line9.south west) {7: \quad\quad\quad$\lambda_{t_v}^{'}=\sum_{s'_u}\sum_{k=1}^{K} c_{\mathbb{E}}(s'_u|t_v;\seq{s}^{[k]},\seq{t}^{[k]})$};
\node [anchor=north west] (line11) at ([yshift=-0.1em]line10.south west) {8: \quad\quad\quad\textbf{foreach}$s_u$ appears at least one of $\{\seq{s}^{[1]},...,\seq{s}^{[K]}\}$\textbf{do}};
\node [anchor=north west] (line12) at ([yshift=-0.1em]line11.south west) {9: \quad\quad\quad\quad$f(s_u|t_v)=\sum_{k=1}^{K} c_{\mathbb{E}}(s_u|t_v;\seq{s}^{[k]},\seq{t}^{[k]})\cdot(\lambda_{t_v}^{'})^{-1}$};
\node [anchor=north west] (line13) at ([yshift=-0.1em]line12.south west) {10: \textbf{return}$f(\cdot|\cdot)$};