Bugfix for null pointers in cset aliasing verification. Patch by Matthias Dieter Wallnöfer.
Bugfix for null pointers in cset aliasing verification. Patch by Matthias Dieter Wallnöfer.


Former-commit-id: 33f934bccaac504adda74f90caa7037a51af3615
jolie/jolie,jolie/jolie,jolie/jolie