IR1-convertion of lambda is separated into