In reply to szy0014:
In SV, function calls inside a constraint impose an implicit variable ordering (See: Verification Course Blog | VeriLog Courses | CVC). So in your case a random value of “numb” is chosen FIRST and then your constraint is solved - imagine with “numb = 0” you could get a failure.
Regards
Srini
www.go2uvm.org