sig
  val lval_to_zone_with_deps :
    Cil_types.stmt ->
    deps:Locations.Zone.t option ->
    for_writing:bool ->
    Cil_types.lval -> Locations.Zone.t * Locations.Zone.t * bool
  val expr_to_kernel_function :
    Cil_types.stmt ->
    deps:Locations.Zone.t option ->
    Cil_types.exp -> Locations.Zone.t * Kernel_function.Hptset.t
  val get_stmt_state : Cil_types.stmt -> Db.Value.state
  val access_expr : Cil_types.stmt -> Cil_types.exp -> Db.Value.t
end