let is_funvar vinfo =
  Wp_parameters.LogicVar.get() &&
    begin
      if vinfo.vglob && Parameters.LibEntry.get() then false 
      else (compute () ; not (AddrTaken.mem vinfo))
    end