Maybe unit tests are at the wrong abstraction level to test for state-dependent bugs.