Non-terminal symbol `Vars_opt`

Defining rules for nonterminal symbol Vars_opt:

`Vars_opt`
		`Vars`

Occurrences of symbol Vars_opt in body of other rules:

Rule FORALL Vars_opt OPENPAR Clause CLOSEPAR

Non-terminal symbol Vars_opt