let find_call_stmts kf ~caller = match List.filter (fun (f, _) -> Kernel_function.equal f caller) (!Db.Value.callers kf) with | [] -> [] | [ _, callsites ] -> assert (callsites <> []); callsites | _ -> assert false