Logging end of DocL #9
Description
Currently the patch to pretty print only logs the beginning of a DocL. We also need to log the end of it.
Applications:
- map between P- and E-rows of the closing bracket of a function. GDB steps there when the function returns