sig
  val find_deps :
    Cil_types.stmt ->
    Lmap_bitwise.From_Model.t -> Cil_types.exp -> Locations.Zone.t
  val compute_and_return : Kernel_function.t -> Function_Froms.t
  val compute : Kernel_function.t -> unit
end