Conditions in if-then and if-then-else are now translated to muAll.