[ESuper (EIdentifier "e") (EIdentifier "x"),ESymbol Rel "=",EOver False (ESuper (EIdentifier "e") (EIdentifier "x")) (EPhantom (EIdentifier "z"))]