let selected_nodes = Run.selected_nodes doc asta in
let run = compute_run doc asta in
fprintf err_formatter "\n ### Query: %a"
let selected_nodes = Run.selected_nodes doc asta in
let run = compute_run doc asta in
fprintf err_formatter "\n ### Query: %a"