This can't be reduced to a boolean (as always). The issue is that ICE is doing #2 via #1.