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