let get_action_path kf ki pre post =
  Aorai_option.debug "Getting actions@\n";
  try
    let actions = Actions.find (kf,ki,pre,post) in
    Aorai_option.debug "Actions have been found@\n";
    Cil_datatype.Term.Map.fold
      (fun v map acc ->
        let assoc =
          Cil_datatype.Term.Map.fold 
            (fun x r acc -> 
              Aorai_option.debug ~dkey:"action" "found binding for %a"
                Cil_datatype.Term.pretty v;
              (x,r) :: acc)
            map []
        in (v,assoc) :: acc)
      actions []
  with Not_found ->
    Aorai_option.debug ~dkey:"action" 
      "Nothing to do for %a (statement %a), from state %s to state %s@\n%t"
      Kernel_function.pretty kf Cil_datatype.Kinstr.pretty ki
      pre.name post.name (test_action_bindings kf ki pre post);
    []