sig
  type var_kind = Fvar | Cvar | PRarg | ARarg | PRpar of int | ARpar of int
  val dispatch_cvar : Cil_types.varinfo -> Variables_analysis.var_kind
  val dispatch_lvar : Cil_types.logic_var -> Variables_analysis.var_kind
  val is_to_scope : Cil_types.varinfo -> bool
  val precondition_compute : unit -> unit
  val brackets_typ : Cil_types.typ -> int
  val is_user_formal_in_builtin : Cil_types.logic_var -> bool
end