Update assertions.rkt