PointerAnalyzer: interface cleanup, removed the IS_UNIQUE_OWNER flag.
DuettoBackend: refactoring, added TypeSupport class.
DuettoBackend: Moved some functions inside the TypeSupport class
DuettoBackend: added class DynamicAllocInfo
DuettoBackend: removed the isComingFromAllocation function
DuettoBackend: minor bug fix in duetto writer