Teilpunktebewertung bei RemoveBrackets?

[jvoigtlaender]

Zum Beispiel könnte schon teilweises Entfernen von Klammerpaaren belohnt werden.

Also sagen wir, in der Instanz wurden 5 überflüssige Klammerpaare eingeführt. Es wird eine Formel eingegeben, die denselben Syntaxbaum hat, aber nicht komplett von überflüssigen Klammern befreit wurde. Zum Beispiel sind immer noch 2 überflüssige Klammerpaare drin. Dann könnte es 60% der Punkte geben.