Lines Matching full:verification
148 * This procedure performs a verification that the given subtree is a binary
