We generate intermediate unfoldings which are just thrown away, so
evaluating them is a waste of time.