First pass at a textual representation of the CFG + IR