I can't find it now, but you've reminded me of the description for an experimental optimiser flag on a perl compiler from what must have been 15 years or more ago. It promised it would always deliver a working binary that was functionally identical to the original script, but that it may not do so in finite amounts of time.