Non-terminal symbol `Body_opt`

Defining rules for nonterminal symbol Body_opt:

`Body_opt`
		'`(`' `SubTerms` '`)`'

Occurrences of symbol Body_opt in body of other rules:

UntaggedPsiTerm SortExpression Body_opt

Non-terminal symbol Body_opt