//this is badly formed there nonterminal name is undefined
var x:2;
reg R := "a";
assert x in S;//S undefined