Re: [GHC] #14123: Figure out invariants surrounding ticks in Core