Export if_then_else to DOT.
Add upper_bound to flat_set.