termination (racket): Dynamic enforcement of size-change termination
Keywords: contracts|termination