For examples involving dead code elimination, please check out the following examples:

zip.min
nth.mini,
callByValue-untyped.mini
redblackTreeExc.mini