find a rembero example which still diverges after (incomplete) CPS v-out trick