fix invariants example

stack depth == 0 w/ no contents