Fixed some bugs in markptr with the creation of ADDROF nodes for global variables and with paramenters
Fixed some bugs in markptr with the creation of ADDROF nodes for global variables and with paramenters

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c