Fixing bad debug info
Relying on WalaUtil for utility methods