[ EUnder
    False
    (EIdentifier "munder baseline")
    (EIdentifier "munder under script")
, ESymbol Rel "="
, EOver
    False
    (EUnder
       False
       (EIdentifier "munder baseline")
       (EIdentifier "munder under script"))
    (EPhantom (EIdentifier "fail"))
]