OperatorsInRAst: Set<string> = ...