Delete ICCexamples.ml