in problog werkt random:random(_) niet