sig
  val lval_to_loc_with_deps :
    skip_base_deps:bool ->
    Cil_types.kinstr ->
    deps:Locations.Zone.t ->
    Cil_types.lval -> Locations.Zone.t * Locations.location
  val lval_to_loc : Cil_types.kinstr -> Cil_types.lval -> Locations.location
  val expr_to_kernel_function :
    Cil_types.kinstr ->
    deps:Locations.Zone.t option ->
    Cil_types.exp -> Locations.Zone.t * Db_types.kernel_function list
end