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