When tracing the execution in GT-debugger the text selection does not always reflect the real position of the program counter. Consider the following screenshot:
I have simply pressed the step-into button, nothing more. The selection is not meaningful.