semantic: Correctly rewrite switch withs.