We want to prevent the SCC from getting in the way when we have
case-of-scc-of-case, and the case-of-case would transform, so we push
the scc inside the inner case to allow the case-of-case to take
place.  See comments for details.