Perform a depth-first search in postorder using a stack
implementation.
Note
This method has the same functionality as the
PyUtilib ValueVisitor.dfs_postorder_stack
method. The difference is that this method
is tailored to efficiently walk Pyomo expression trees.