let from_stmt s =
  let kf = Kernel_function.find_englobing_kf s in
  try
    Dynamic.get
      ~plugin:"Security_slicing"
      "impact_analysis"
      (Datatype.func2 Kernel_function.ty Stmt.ty (Datatype.list Stmt.ty))
      kf s
  with
  | Dynamic.Incompatible_type _ ->
    error "versions of plug-ins `impact' and `Security_slicing' seem incompatible.\nCheck the environement variable FRAMAC_PLUGIN.\nAnalysis discarded.";
    []
  | Dynamic.Unbound_value _ ->
    error "cannot access to plug-in `Security_slicing'.\nAre you sure that it is loaded? Check the environement variable FRAMAC_PLUGIN.\nAnalysis discarded.";
    []