sig
  val get : Db_types.kernel_function -> Cil_types.kinstr -> Function_Froms.t
end