attempted a definition of bf for trees, and wrote a (probably invalid) definition for bf_acc for cotrees..