PerSliceMeasurements: readonly ["static slicing", "reconstruct code", "total"] = ...