First working draft of the compilation to graphs !