ExpToSegment not preserving right associativity with parens

[7h3kk1d]

Power (**) is right associative but this example is explicitly building up a left associative tree but ExpToSegment doesn't add parens in the left case.

[cyrus-]

Is this specific to power or in general?

[7h3kk1d]

Is this specific to power or in general?

It's a general right associativity issue on binary operators. I came across it in the property test work.