Automatic Contract Extraction: Developing A Cil Parser