[ESqrt (EIdentifier "content"),ESymbol Rel "=",ESqrt (ESub (EIdentifier "content") (EPhantom (EIdentifier "fail"))),ESymbol Rel "=",ESqrt (ESuper (EIdentifier "content") (EPhantom (EIdentifier "fail")))]
