Add API for retrieving separation heap/nil term (#4663)

This commit extends the API to support the retrieval of heap/nil term
when separation logic is used and changes the corresponding system test
accordingly. This commit is in preparation of making the constructor of
`ExprManager` private.

1 files changed, 7 insertions, 0 deletions

diff --git a/NEWS b/NEWS
index 60ff9dbc8..f5f9bc03a 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,12 @@
 This file contains a summary of important user-visible changes.
 
+Changes since 1.8
+=================
+
+Improvements:
+* New API: Added functions to retrieve the heap/nil term when using separation
+  logic.
+
 Changes since 1.7
 =================