Because for every symbol $x we can construct exactly two different MemRegions that both get dumped as SymRegion{$x}, and i didn't bother fixing it for years, i wanted to at least make the problem apparent. With this patch, the unknown-memory-spaced symbolic region remains SymRegion{$x}, while the heap-based memory region is dumped as HeapSymRegion{$x}.
Does anybody want me to add tests for this debug print?