. ../../../testutils.sh

check EmptySearch.idr
