<<< native [ ESub (EGrouped [ EPhantom (EIdentifier "fail") , EIdentifier "X" ]) (ENumber "0") , ESymbol Rel "=" , ESub (EIdentifier "X") (ENumber "0") ] >>> eqn {hphantom fail X} sub 0 = X sub 0