update in intermediate representation paper