The branch topic/seth/unified2-analyzer is ready for merging.
This has a problem I think, with the external test suite I get lots of changes of the kind below (i.e., it looks like the analyzer is always activated).
Also, can you add a couple of sentences at the beginning of the main script on what this is doing and how to use it?
Oops, that definitely wasn't supposed to happen. Will fix.