Well... it is a bit of a mess. I am actually writing a test for an UVM project and I really should have mentioned it (and put it into the other forum section) from the beginning.
I already did a workaround by creating a static array containing all numbers between 0 and 13 and reshuffling it in place of using randc. Next time I run into randc I would give it more thought, but right now my plate is full with lots of other issues.
Thanks for the quick replay though!