[ ESuper (EIdentifier "e") (EIdentifier "x")
, ESymbol Rel "="
, EOver
    False
    (ESuper (EIdentifier "e") (EIdentifier "x"))
    (EPhantom (EIdentifier "z"))
]