Recall that there are two kinds of reduction:
then reduce to:
where val is the result of applying op to N1 and N2