Realize the right associative operation OP of all the arguments.
Here OP should receive four arguments NAME, X, N, REC out of which NAME and N are ignored and X and REC should be interpreted as the left and right hand of the operator action, respectively.