var x:2;
cfg Num := (Digit)+;
cfg Digit := ['0'-'9'];
assert x in Num;//Num not a regexp