Some guy I have on Twitter (and apparently on this forum) mentioned something interesting, that Pachinko games' names would reflect the "original game" they're taken from. As if DMCX Last Judgement was somehow a way to leak the name of the next Devil May Cry game. Leaving this clue here.