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