The definition of some tests in random_test has been semplified.