Edit requests of 同じアドレスを指すterm同士の同値チェックは定数時間で行われるか？