live_var_analysis