WYIL: put back support for dealing with loop entry and exit.