rzk-0.11.4: test/typecheck/cases/ill-rstt-auxiliary-interval.rzk

#lang rzk-1
#set-option "rstt-safe" = "error"
#def auxiliary : CUBE := II