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