Columns are added from right to left according to sub-formulas
Merge branch 'master' into TruthTableBuilder3
Merge branch 'master' into wffchecker-future