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