fn reservoir_sample<'a, R: Rand, M: Matcher, P: Fn(&Term<M>) -> bool + Copy>( trace: &'a Trace<M>, filter: P, constraints: TermConstraints, rand: &mut R) -> Option<(&'a Term<M>, TracePath)>
https://en.wikipedia.org/wiki/Reservoir_sampling#Simple_algorithm