* main_codequery.ml: use the .explain in -explain_tuples mode