sig
  val stmt_can_reach :
    Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt -> bool
  val reachable_stmts :
    Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list
end