in
(*let q_let_po = M.LetVVar ("obj_positions", M.Const opos, q_let_pr) in*)
+
+ let query = (M.Ref (M.RefOf (q_let_po opos 1))) in
-print_endline "### "; MQueryUtil.text_of_query print_string (q_let_po opos 1) "\n"; flush stdout;
- (q_let_po opos 1)
+print_endline "### "; MQueryUtil.text_of_query print_string query "\n"; flush stdout;
+ query