Implementation: general tree search