Non-terminal symbol LevelOpt

Defining rules for nonterminal symbol LevelOpt:

LevelOpt NATURAL

Occurrences of symbol LevelOpt in body of other rules:

TracePragma TRACE  LevelOpt