This plugin provides a simple source code transformation which inserts or removes invariant checking on all exit paths of all methods of a given class.