In reply to dave_59:
Oh, correct! randc will not work here. I was expecting push_front() will also work in a same way.
Also, another way without the use of foreach loop in above snippet is inside operator,
constraint c1{
!(mem_id inside {prev_mem_id});
}