externally for the case when a program is compiled with debug features

debug macro

multiple inclusions

    Reworked binary tree (tree) and linked list (list) memory models
    to have the same structure as the rest of the ADT models

Patricia trie (bittree)  memory model.
See commit e3d588eed2e9909f481371a6bbd4950dcb725291

    - Restricted internal symbols of Patricia trie memory model to its
        compile unit
    - Restructuring/renaming the files belonging to ADT models
    to make the names consistent with the contents of the files
    - Patricia trie model as a single file

  - Stylistic updates
  - Refactoring of assertions (production/debugging)
  - Refactoring iheader placement

containing the segment-based memory model.

  - --e-acsl-share option allowing to specify the location of RTL
  - compile using a local version of RTL if uninstalled version of the
  script is used.