| M.Property (q0, q1, q2, mc, ct, cfl, el, pat, y) ->
let _, r = eval_query c y in
let subj, mct =
| M.Property (q0, q1, q2, mc, ct, cfl, el, pat, y) ->
let _, r = eval_query c y in
let subj, mct =
let aux (d, r) sj gl _ =
let d = {d with avars = P.add_assoc (i, (sj, gl)) d.avars} in
let d, s = eval_query d y in
let aux (d, r) sj gl _ =
let d = {d with avars = P.add_assoc (i, (sj, gl)) d.avars} in
let d, s = eval_query d y in
| M.Fun (p, pl, xl) ->
let e = {L.eval = (fun x -> snd (eval_query c x)); L.conn = h} in
c, L.fun_eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec
| M.Fun (p, pl, xl) ->
let e = {L.eval = (fun x -> snd (eval_query c x)); L.conn = h} in
c, L.fun_eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec