#426 (Mar 4, 2020, 6:29:55 PM)

1. everything works (commit: fe7f822) (details / githubweb)
2. fancier indenting for array constraints (commit: 3df6737) (details / githubweb)
3. hide warnings (commit: 840cc53) (details / githubweb)
4. okay fine indent constraint printing by 1 (commit: 2a5a695) (details / githubweb)

GitHub pull request #1475 of commit 2a5a6952bb016077e8abdd5d47c859a4458f5368, no merge conflicts.

Aborted by user eburn