@TimKam, I did not go deep but it seems some variances of .random such as .random(List,Unifier) may produce non-deterministic results. Later, I will look .random more carefully. Please, check if this PR is correct considering the purpose of testing set_random_seed/1.
@TimKam, I did not go deep but it seems some variances of .random such as .random(List,Unifier) may produce non-deterministic results. Later, I will look .random more carefully. Please, check if this PR is correct considering the purpose of testing set_random_seed/1.