BFS: analyzer uses new rng.

Signed-off-by: Michael Lippautz <michael.lippautz@gmail.com>