[ESub (EIdentifier "S") (ENumber "5"),ESymbol Rel "=",EUnder False (ESub (EIdentifier "S") (ENumber "5")) (EPhantom (EIdentifier "t"))]