`ZXLayout` is not necessary when rewriting. It is only used when plotting. It should be removed. And generate dynamically when plotting.