let print_action_binding fmt action =
Cil_datatype.Term.Map.iter (fun t m ->
Cil_datatype.Term.Map.iter (fun t' itv ->
Format.fprintf fmt "%a <- %a + %a@." !Ast_printer.d_term t
!Ast_printer.d_term t' Data_for_aorai.Range.pretty itv) m)
action