It would be nice to have the following additional BEFORE/AFTER dumps:
- Creating a post loop (insert_post_loop()): We create a post loop when adding pre/main/post loops and when addition a vector post loop. In the former case, having an "after post loop" dump gives us the state of the graph between the post loop (created first) and the pre loop creation. The "after pre/main/post" dump will cover the "after pre loop" state. Thus, we do not need a separate BEFORE/AFTER dump for the pre loop.
- Removing an empty loop (do_remove_empty_loop())
- Removing a one iteration loop (do_one_iteration_loop())