Binary tree and guards