Handle null pointers

[reSHARMA]

Null pointers are not yet modeled, they seem to be required for handling unions #2 (as pointers to the union are initialized with a null pointer). We need to design how the nullptr will be represented and manipulated.