Generic intermediate representation for code analysis by X. Li