Fix Choose handling in ImperativeCodeElimitation