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