<<< native [ ESub (EGrouped [ EPhantom (EIdentifier "fail") , EIdentifier "X" ]) (ENumber "0") , ESymbol Rel "=" , ESub (EIdentifier "X") (ENumber "0") ] >>> omml fail X 0 = X 0