Edited string representation of ProgramCounter for ease of debugging