Add debugging code for checking invariants