Algorithm 4 ADT testing process

1:function Predict($x_{\mathrm{test}}$, k, m)   2:      Run $T_k$ with $x_{\mathrm{test}}(X_k,V_k^o)$   3:      for $n\in L_k$ do   4:              Find $k^{\prime }$ with which $T_{k^{\prime }}$ is connected to $T_{k,n}$   5:              if $k^{\prime }$ exists then   6:                      $X_k^{\prime }\leftarrow X_{k,n}$   7:                      Predict($x_{\mathrm{test}}$, $k^{\prime }$, $m+1$)   8:              else   9:                      $y_{\mathrm{pred}}\left(X_{k,n}\right)\leftarrow y_{k,n}$ 10:              end if 11:      end for 12:end function 13:Predict($x_{\mathrm{test}}$, 0, 0)