Traverse nested functions as well.
Modified the definition of the UNWIND-INSTRUCTION.