Simplifies control-flow expressions such as if-then-else and match expressions.
It visits only the conditions and discriminants.
Simplifies control-flow expressions such as if-then-else and match expressions.
It visits only the conditions and discriminants.