proved cil list reverse example

@andreistefanescu please review