Write a constraint to divide values of one queue into three queues so that all 3 queues have unique values

[AGS91]

@nitin62goel

rand int a[$];
rand int a1[$];
rand int a2[$];
rand int a3[$];

constraint size_c {
                     a.size() inside {[10:20]};
                     a1.size() inside {[10:20]};
                     a2.size() inside {[10:20]};
                     a3.size() inside {[10:20]};
                     a.size() == a1.size() + a2.size() + a3.size();
                   }

constraint unq_val {
                     unique {a};
                     unique {a1};
                     unique {a2};
                     unique {a3};
                     a inside {a1,a2,a3}
                   }

@nitin62goel Similar to your previous suggestion, this code has an issue. This time it’s a compilation error