Now supports generators. A yield is seen to have two exits, the exit block or the next statement.