Boundedness preserving termination emits
Fixed conflate to use proper termination absorption