Making toString for CFGNodes