NoNewSymbolsEntered OK
Unique OK
Unattributed OK
NeverModify OK
AlwaysParseTree OK