Curry Package 'searchtree-unsafe'