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