<<< native [ ESuper (EIdentifier "S") (ENumber "2") , ESymbol Rel "=" , EUnder False (ESuper (EIdentifier "S") (ENumber "2")) (EPhantom (EIdentifier "fail")) ] >>> omml S 2 = S 2 fail