Accurate debug info about the happened-before relation