| MQUse (alist, asvar) ->
use_ex (execute_ex alist) asvar "backPointer"
| MQPattern (apreamble, apattern, afragid) ->
- let _ = print_endline ("*********" ^ (fi_to_string afragid)); flush stdout in
+ (*let _ = print_endline ("*********" ^ apreamble ^ (fi_to_string afragid)); flush stdout in*)
pattern_ex apreamble apattern afragid
| MQUnion (l1, l2) ->
union_ex (execute_ex l1) (execute_ex l2)