\If{$\circuit.\type=+$}\Comment{Sample at every $+$ node}
\State$\circuit_{\vari{samp}}\gets$ Sample from left input ($\circuit_{\linput}$) and right input ($\circuit_{\rinput}$) w.p. $\circuit.\vari{Lweight}$ and $\circuit.\vari{Rweight}$. \label{alg:sample-plus-bsamp}\Comment{Each call to \sampmon uses fresh randomness}
\State$\Return ~\left(\{\}, \func{sgn}(\circuit.\val)\right)$\label{alg:sample-num-return}\Comment{$\func{sgn}(\cdot)$ outputs $-1$ for \circuit.\val$\geq1$ and $-1$ for \circuit.\val$\leq-1$}\label{alg:sample-num-leaf}