@contains@
type t;
-identifier anyid.id ~= ".*foo";
+identifier anyid.id ~= "foo";
fresh identifier contains = id ##"_contains_foo";
@@
@nocontain@
type t;
-identifier anyid.id !~= ".*foo";
+identifier anyid.id !~= "foo";
fresh identifier nocontain = id ##"_doesn_t_contain_foo";
@@
@endsby@
type t;
-identifier anyid.id ~= ".*foo$";
+identifier anyid.id ~= "foo$";
fresh identifier endsby = id ##"_ends_by_foo";
@@