let doc = doc () in
let query = query () in
let asta = Compil.trans query in
+ let t1 = Unix.gettimeofday() in
let _ = compute_run doc asta in
+ let t2 = Unix.gettimeofday() in
+ let () = fprintf err_formatter "Time for Run (ms): %f\n%!" ((t2-.t1)*.1000.) in
exit 0