https://5dok.net/document/zkw6xge1-automatic-generation-cases-vercors-verification-cases-failing-errors.html