IPA sem equality: working version of thunk introduced.