Always translate locint to monotonic sequence, and clean up debug info