リテラル化と不要な量化子の除去の実装