without memory-related predicates but with heap allocation

instead of an instrumented one if --instrumented-only option was used

installed instrumentation engine

only

  - Removed tree, list and splaytree memory models (as obsolete)
  - Directory 'adt_models' renamed to 'bittree_model' as now it contains
  a single bittree model

internally via __e_acsl_memory_init

initialization of tracked memory blocks

macros in e_acsl_bits.h

manipulations