These changes should have been applied to the submodule in the kind2 repository, not to this repository

This reverts commit 6389ead0b9ac5030ec8d20f7fe2a89fa4e9463bd.