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