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