Update ICCexamples.ml