Draft: Fixed issues in the Formula class, added tests, improved the description of formulas.

Closed Lauri Himanen requested to merge 1259-fix-issue-in-reduced-formula-creation into develop

Merge request reports