[jw-]

This is all true, but is it not a problem that most static languages don't let you (easily) specify the kind of invariants people include in unit-tests.

[acjohnson55]

Sure. But you write unit tests for those.