Alloyで日本語識別子を使いたい気持ちはわかる、が「同じ識別子」という判定をバイト列でやると破滅してしまう