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