tests, if the items in the tree can be bound to pattern variables in pat, which pass the fenders tests.