prod1.native

[ EUnderover
    False
    (ESymbol Op "\8719")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ])
    (EIdentifier "\8734")
, ESub (EIdentifier "x") (EIdentifier "i")
]