GreedyCombinatorialSimplifier seems O.K. II