* main_codequery.ml: codequery -test