alpha equivalent support
clarify the reduce code with stepping support