[ EIdentifier "x"
, ESymbol Bin "+"
, ESuper (EIdentifier "y") (EIdentifier "n")
]