Case statements translated into else-if constructs