munderover-11.test

<<< native
[ EUnderover
    False (EIdentifier "BASE") (EIdentifier "s") (EIdentifier "t")
, ESymbol Rel "="
, EUnderover
    False
    (EIdentifier "BASE")
    (EGrouped
       [ EPhantom (ENumber "1")
       , EIdentifier "s"
       , EPhantom (ENumber "1")
       ])
    (EGrouped
       [ EPhantom (ENumber "1")
       , EIdentifier "t"
       , EPhantom (ENumber "1")
       ])
]
>>> eqn
BASE from s to t = BASE from {hphantom 1 s hphantom 1} to {hphantom 1 t hphantom 1}