<<< native [ EUnderover False (EUnderover False (EIdentifier "BASE") (EIdentifier "under-1") (EIdentifier "over-2")) (EIdentifier "under-2") (EIdentifier "over-1") , ESymbol Rel "=" , EUnderover False (EUnder False (EOver False (EIdentifier "BASE") (EIdentifier "over-2")) (EIdentifier "under-1")) (EIdentifier "under-2") (EIdentifier "over-1") ] >>> omml BASE over-2 under-1 over-1 under-2 = BASE over-2 under-1 over-1 under-2