<<< native [ EUnder False (EIdentifier "BASE") (EFraction NormalFrac (EIdentifier "first under script") (EIdentifier "second one")) , ESymbol Rel "=" , EUnder False (EUnder False (EIdentifier "BASE") (EFraction NormalFrac (EIdentifier "first under script") (EIdentifier "second one"))) (EPhantom (EIdentifier "fail")) ] >>> omml BASE first under script second one = BASE first under script second one fail