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)