diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
index 0e413258b368b1aaa925b7579b4943988e11f432..9b1baa7ad970fe5d9085f12e0c179b27a69b01b7 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c
@@ -39,7 +39,8 @@
  * otherwise.
  */
 int separated2(void * ptr1, size_t size1, void * ptr2, size_t size2) {
-  DASSERT(valid_read(ptr1, size1, base_addr(ptr1), NULL) && valid_read(ptr2, size2, base_addr(ptr2), NULL));
+  DASSERT(eacsl_valid_read(ptr1, size1, eacsl_base_addr(ptr1), NULL)
+          && eacsl_valid_read(ptr2, size2, eacsl_base_addr(ptr2), NULL));
 
   // Cast pointers to char* to be able to do pointer arithmetic without
   // triggering undefined behavior