Compiles again.
Check-point for extracting Util.crs.
Check-point for extracting Util.crs.
Unsynthesize logic works in Cook.