1: $

2: \Until{convergence}

3: \Procedure{SNN}{}

4: 	\State initialize traces $