var x:2;
cfg A := "a" | x ;//x is not a nonterminal 
assert x contains "foo";