IPA sem equality: thunk creation changed.