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