DuettoBackend: Added debug utility printPointerInfo
DuettoBackend: pointer kind propagation across function calls