let remove_action_path kf ki pre post =
  Aorai_option.debug ~dkey:"action" 
    "Removing action of %a (statement %a), from state %s to state %s"
    Kernel_function.pretty kf Cil_datatype.Kinstr.pretty ki
    pre.name post.name;
  Actions.remove (kf,ki,pre,post)