sig
  type key = Dashtbl.Default_key_marshaler(Cil_datatype.Stmt).t
  val state : key -> State.t
  val property : key -> Property.t
end