Simplify to use simple labeling/1 instead of search/6.