5 fresh identifier new = id ## "_is_constant";
14 constant anyid.cst ~= ".*FOO";
15 fresh identifier contains = id ##"_equals_cst_that_contains_FOO";
24 constant anyid.cst !~= ".*FOO";
25 fresh identifier nocontain = id ##"_equals_cst_that_doesn_t_contain_FOO";
34 constant anyid.cst ~= ".*FOO$";
35 fresh identifier endsby = id ##"_equals_cst_that_ends_by_FOO";
44 constant anyid.cst ~= "^FOO";
45 fresh identifier beginsby = id ##"_equals_cst_that_begins_by_FOO";