let defaultall = function
      | Base.Var(_info, _) | Base.Initialized_Var(_info, _) ->
          (* TODO à voir: faux avec annotations sur type et non sur nom ? *)
          (*attributes2state info.vattr bottom*)
          inject S.variable S.bottom
      | Base.Null | Base.Cell_class _ | Base.String _  ->
          inject S.constant S.bottom