[ ESub (EIdentifier "V") (ESymbol Bin "+")
, ESymbol Rel "="
, ESub
    (EIdentifier "V")
    (ESub (ESymbol Bin "+") (EPhantom (EIdentifier "fail")))
]