Implementation of Diaballik game in Ultimate++ framework