Make ExtraHintsOnAssociativity configurable in TreeToFormula?

[jvoigtlaender]

In ComposeFormula und DecomposeFormula gibt es:

logic-tasks/src/LogicTasks/Syntax/DecomposeFormula.hs

Lines 56 to 58 in dd1a987

	when addExtraHintsOnAssociativity $ instruct $ do
	english "Remark: Do not try to use associativity in order to omit brackets in this task."
	german "Hinweis: Sie dürfen bei dieser Aufgabe nicht Klammern durch Verwendung von Assoziativität weglassen."

und

logic-tasks/src/LogicTasks/Syntax/ComposeFormula.hs

Lines 74 to 76 in dd1a987

	when addExtraHintsOnAssociativity $ instruct $ do
	english "Remark: Do not try to use associativity in order to omit brackets in this task."
	german "Hinweis: Sie dürfen bei dieser Aufgabe nicht Klammern durch Verwendung von Assoziativität weglassen."

Hingegen in TreeToFormula ist das unter addExtraHintsOnSemanticEquivalence subsumiert:

logic-tasks/src/LogicTasks/Syntax/TreeToFormula.hs

Lines 56 to 58 in dd1a987

	when addExtraHintsOnSemanticEquivalence $ instruct $ do
	english "Remarks: The exact formula of the syntax tree must be specified. Other formulas that are semantically equivalent to this formula are incorrect solutions! You are also not allowed to use associativity in this task in order to save brackets."
	german "Hinweise: Es muss die exakte Formel des Syntaxbaums angegeben werden. Andere, selbst zu dieser Formel semantisch äquivalente Formeln sind keine korrekte Lösung! Auch dürfen Sie bei dieser Aufgabe nicht Assoziativität verwenden, um Klammern einzusparen."

Unter Umständen wäre es besser, auch bei TreeToFormula unabhängig konfigurierbar zu machen.

Oder vielleicht sollten einfach sowohl extraHintsOnSemanticEquivalence als auch extraHintsOnAssociativity einfach abgeschafft werden und stattdessen - wenn nötig - einfach Gebrauch von extraText gemacht werden.