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