Debugging

Reading code

Scanners find what's syntactically wrong. The interesting issues live in assumptions -- and assumptions don't have signatures.