(partially) proved the CIL list_reverse example

@andreistefanescu please review