let get_action_bindings kf ki pre post =
  try Actions.find (kf, ki, pre, post)
  with Not_found -> Cil_datatype.Term.Map.empty