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