Muffle compiler notes in SBCL when compiling the discrimination function, lengthen server test timeouts