[EIdentifier "- middle -",ESymbol Rel "=",EUnder False (EUnder False (EIdentifier "- middle -") (EPhantom (EIdentifier "fail"))) (EPhantom (EIdentifier "fail"))]