PointerAnalyzer: interface cleanup, removed the IS_UNIQUE_OWNER flag.
DuettoBackend: refactoring, added TypeSupport class.
DuettoBackend: Moved a couple of global functions inside the TypeSupport class
DuettoBackend: added class DynamicAllocInfo