Add proper definition of the intermediate representation