changed condition object type from &assertion to &implementation-restriction when apply is given too many arguments