register even though it has already been processed
small bugfix
new ptsto and allocation site analysis