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