...acsl/share/e-acsl/instrumentation_model/e_acsl_contract.c

...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c

src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.h

...e/e-acsl/observation_model/bittree_model/e_acsl_bittree.c

...on_model/bittree_model/e_acsl_bittree_observation_model.c

...rvation_model/bittree_model/e_acsl_bittree_omodel_debug.c

..._model/bittree_model/e_acsl_bittree_timestamp_retrieval.c

.../e-acsl/observation_model/internals/e_acsl_omodel_debug.h

...observation_model/segment_model/e_acsl_segment_tracking.c

...observation_model/segment_model/e_acsl_segment_tracking.h

...sl/observation_model/segment_model/e_acsl_shadow_layout.c