Implemented setting to address
Fixed non-compiling testcase
Fixed bugs preventing TreeAdd from running
The Pointer Analysis allows setting to NULL for SAFE types, and no longer counts all pointers to Structs as SEQ types