Überprüfung bei Flex Konzertaufgabe anpassen

- [ ] `Tafel ist gefüllt und Tabellenspalten enthalten nur korrekt ermittelte Wahrheitswerte?`-Check von Semantik- in Syntaxcheck verschieben (oder durch Konfigurationsoption in beidem möglich machen)
- [x] Neu: Prüfen ob die Tafel eine Spalte für die Gesamtformel (oder abgekürzt F) enthält (Syntax)