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