let is_to_scope vinfo = let case = case_of_optimization (Wp_parameters.LogicVar.get ()) (Wp_parameters.RefVar.get()) in is_ref case vinfo || is_memvar case vinfo