Find/Step1?

If the bag is an empty bag, in the find (step1) function, then I'm supposed to create a Fake Bag Leaf, but I can't because I have to return a kind of FiniteBag.