Reflect the enforcing of analysing pointees

This changes the output but does not limit the applicability of memory-analyzer.

Author: petr-bauch

regression/memory-analyzer/pointer_to_struct_01/test.desc

@@ -1,8 +1,7 @@
 CORE
 main.gb
 --breakpoint checkpoint --symbols p
-struct S tmp;
-tmp = \{ \.next=\(\(struct S \*\)0\) \};
-p = \&tmp;
+st = \{ .next=\&st \};
+p = \&st;
 ^EXIT=0$
 ^SIGNAL=0$