Experimental meta-closure elimination optimization. Enabled by passing
OPTIMIZE=1 when normalizing with rules.crs