Consider following code:

Here the issue S4142 is raised on line 2, as those arguments are synthetically equivalent, but as always a function is called that produce a random value it is not an issues.

All functions that return a random value should be discovered during the implementation effort.