removed simplify-compatible, changed merge-compatible to congruent
simplified simplify-reducer