Updating: moving GameOf24 over to ATS-contrib