Is suppose to give a lot more control to the user, making it possible to
avoid some graphs that are hard to optimize, or which do not get optimized
properly. It is also suppose to generate much cleaner and small graphs.