rzk-0.8.0: test/typecheck/cases/ill-tope-not-satisfied-rec-bot.rzk

#lang rzk-1

#check recBOT : U