let kind_of_var (_,_,t,p)=
   match p with
   | Some ty -> Formula.Acsl(t,ty)
   | None ->  Formula.Model t