Add proper linearization of switch statements.