Game tree statistics on mobility for random game sampler are now a dedicated function!