fix errors in identifying special case loop conditions (execute only once or not at all)