[Transformers] Re: CIL - Infrastructure for C Program Analysis and Transformation