k-test (racket): Test of k
Keywords: main-tests|racket|theorem-prover