Implement verification for Brother Trees.