sig
  val get_direct_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
  val get_indirect_backward_component :
    Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
  val get_forward_component : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
  val impact_analysis :
    Cil_datatype.Kf.t -> Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
end