This let's you automatically type up your codebase by instrumenting code, (e.g. using the test suite of the project).