let get_action_path_binding kf ki pre post loc base =
  let actions = Actions.find (kf,ki,pre,post) in
  let bindings = Cil_datatype.Term.Map.find loc actions in
  Cil_datatype.Term.Map.find base bindings