Function to run preprocessor phases on a control flow graph.

For the moment it runs the single phase we currently have: optimizing the
conditional terminators of blocks.