try snd (List.assoc i c.avars)
with Not_found -> warn (M.AVar i); []
in
+ let x = if C.set h C.Source then M.Log (false, true, x) else x in
let c = {svars = []; avars = []; groups = []; vvars = []} in
let t = P.start_time () in
let r = eval_query c x in