temp-c-test (racket): temporal contracts
Keywords: contracts