sig
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
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
end