method vlogic_var_use v =
if !in_funspec then
match v.lv_origin with
| None -> SkipChildren
| Some cv ->
try
let fv = List.assoc cv !varpairs in
ChangeTo (cvar_to_lvar fv)
with Not_found -> SkipChildren
else
begin
if retypable_lvar v then retype_lvar v;
DoChildren
end