add automated tests for simple examples

We should write a series of simple examples of the sort of transformations that this tool can do, and then add those to the README. Then, we should add automated tests that each such refactoring can be applied by the tool successfully.