One-sided `if` expressions:  `if c then f x` -> `if c then f x else {}` | `if c then f x else yield {}`