<<< native [ EOver False (EIdentifier "middle") (EIdentifier "top") , ESymbol Rel "=" , EUnderover False (EIdentifier "middle") (EPhantom (EIdentifier "fail")) (EIdentifier "top") ] >>> eqn middle to top = middle from {hphantom fail} to top