let kind_of_var = function | VarL (lv,t) -> Formula.Acsl(t,lv.Cil_types.lv_type) | VarT (_,_,t,Some ty) -> Formula.Acsl(t,ty) | VarT (_,_,t,None)-> Formula.Model t