[ EUnderover
    False
    (EUnderover
       False
       (EIdentifier "BASE")
       (EIdentifier "under-1")
       (EPhantom (EIdentifier "fail")))
    (EIdentifier "under-2")
    (EPhantom (EIdentifier "fail"))
, ESymbol Rel "="
, EUnder
    False
    (EUnder False (EIdentifier "BASE") (EIdentifier "under-1"))
    (EIdentifier "under-2")
]