sig
type contract = {
location : Cil_types.location;
named_behaviors_count : int;
name_to_idx_tbl : (string, int) Stdlib.Hashtbl.t;
mutable var : (Cil_types.varinfo * Cil_types.exp) option;
mutable all_assumes_translated : bool;
spec : Cil_types.spec;
}
end