RegisterDecompRuleResources
Compute exact logical PBC depth across calls and loops
adjoint-lowering
merge-ppr-ppm