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