Non-terminal symbol TracePragma

Defining rules for nonterminal symbol TracePragma:

TracePragma TRACE  LevelOpt

Occurrences of symbol TracePragma in body of other rules:

Pragma TracePragma