===> Cleaning for ruby31-contracts-0.17