[ESqrt (EIdentifier "content"),ESymbol Rel "=",ESqrt (EUnder False (EIdentifier "content") (EPhantom (EIdentifier "fail"))),ESymbol Rel "=",ESqrt (EOver False (EIdentifier "content") (EPhantom (EIdentifier "fail")))]
