[ESub (EIdentifier "P") (ENumber "0"),ESymbol Rel "=",EUnderover False (ESub (EIdentifier "P") (ENumber "0")) (EPhantom (EIdentifier "x")) (EPhantom (EIdentifier "x"))]