Manipulate C Intermediate Language ASTs with CIL