adjust htdp tests for the change to require in 736c8ca12b