When PrintAST is called on a system that has a reduction, the operator used in that reduction does not appear in the output of PrintAST. Two systems that are identical except for the operator used in their respective reductions will produce identical ASTs, when one would expect the outputs to differ with respect to the operator.
When PrintAST is called on a system that has a reduction, the operator used in that reduction does not appear in the output of PrintAST. Two systems that are identical except for the operator used in their respective reductions will produce identical ASTs, when one would expect the outputs to differ with respect to the operator.