method vquantifiers vl =
List.iter (fun v ->
(* Only iterate on logic variable with C type *)
if app_term_type (fun _ -> true) false v.lv_type then
match v.lv_origin with
| None -> ()
| Some v -> ignore (self#vvdec v)
else ()
) vl;
DoChildren