Found more cases that generate redundant trees.