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