"Simplify Tree" does not work with a single branch

It seems that it is not a question of types