* ProbingCfrMinimizer works!