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