DuettoBackend: Pretty printing of pointers in debug mode
DuettoBackend: Cleanup of getPointerUsageFlags and dfsPointerUsageFlagsComplete
DuettoBackend: Added function isNoSelfPointerOptimizable
DuettoBackend: Added no-wrapping-array optimization