Working on greedy simplifier.