method
vlogic_var_decl v =
if
retypable_lvar v
then
retype_lvar v;
DoChildren