sig
  val get_direct_component : Cil_types.stmt -> Cil_types.stmt list
  val get_indirect_backward_component : Cil_types.stmt -> Cil_types.stmt list
  val get_forward_component : Cil_types.stmt -> Cil_types.stmt list
  val impact_analysis :
    Kernel_function.t -> Cil_types.stmt -> Cil_types.stmt list
end