Нашли возможную ошибку в интерпретаторе. Надо протестить cond.