var x:2;
reg r := "foo";
assert x in r;