[ ESub
    (EIdentifier "A")
    (ESub (EIdentifier "B") (ESub (EIdentifier "C") (EIdentifier "D")))
, ESymbol Rel "="
, ESub
    (EIdentifier "A")
    (ESub
       (EIdentifier "B")
       (ESub
          (EIdentifier "C")
          (ESub (EIdentifier "D") (EPhantom (EIdentifier "E")))))
]