Programmer use of invariants
Helped explain use of data structures
- regexp compiled form (a string)
Contradicted some maintainer expectations
- anticipated lj < j in makepat
- queried for counterexample
- avoided introducing a bug
Revealed a bug
- when lastj = *j in stclose, array bounds error