--show-formula splits up disjunctions into separate lines
#2787
Loading
--show-formula splits up disjunctions into separate lines
#2787