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